# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: a5942b67aeb4cb34241c591760534ba6ca8e3772
output_heap: da9d150a0b6802a2b2731842b3f962d5e6f388b3
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
68e24fa803389d76024c730e22fc9263ebe14aa0
e1d812ffc1b5ec73233390b0c6bf6f2434df37d0


