# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: 694462a3ab663ce4170efa4e0eaf4e9a1bc71340
output_heap: ab586d7d2c19e9f49c693542de1a33f93df2a7e6
input_heaps:
13f786b8f4762c1203e3da5c15d634b6876ecf36
7ac514d3394501c5bf6707600eeac5a1d30a5454
440c57d6b0f1cf955c42fe0cb1c738d1e211c742


