# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: 9dfa0231a1b2b9f77327a43ee58819c81616c9d4
output_heap: 80ac68093179cd140cb5e0ed2261bcaced46e9c5
input_heaps:
8215eb5f5b3394a9f9254fc524a194abe159cb1b
43986411c04360d074d5c4045a93e7a8120ecd61
768d6d2b9a4fd5f9d455ecd4d0b75aacc486cf3f


