# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: e345ed738956ae350836f49c439cf1b21be59371
output_heap: 8a5e7d9e662ac354c5cdfcdf76ba844ff34ca967
input_heaps:
97833069aaf33e80bb8bfd493abc152a39f1dded
dc78b241718cbecaa21e6c3d43f6dadbec9225f3
a5242084db3e0204f2f82307cc1f48b730ddd444


