# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: c414a9877bad6b9e56dbd5c1a5dcec6065295023
output_heap: 2fdc83e2ef3afcc0c7906d3d4a4a60757ca54f00
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
24be91445dfd95ccebd8630650aef4cacbc92e8b
e2eac76fb8952f4dc17c6d71ed03814b71fa0399


