# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: e345ed738956ae350836f49c439cf1b21be59371
output_heap: 37822067071c55591630a93a6b71d8e4ea27d29d
input_heaps:
767d1abb4385cc0848829909014ec5284a74f26d
f8f7da93998fdd1c52e2a4472eb3025f88ab3418
ed7d78de9adae2fdee0c94e98f07f4e7f9bd3761


