# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: 921a4772c415be9608f37bb0701fa8c39cd2c514
output_heap: 9bc73e4a664638a36f13401db30ac577aeb24fa8
input_heaps:
f42ef1fa33b2bcf7f41b6d59156a15f0915a3353
e231d8a0cba58c5d3b81b383eb6beb7946babf5c
ff0f287e1dba1b222d6708cb5d212e07caf261c5


