# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: e2501990df7feedd1471033b1ea6975d45ea68bb
output_heap: 1674359bc6b1c35594b1e8c91e421a9fbc952ad0
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
79764dc49c42e04d2f2d7022e68e8df538e9cc73
377cbc0d625b6549972be2524ef932a6672c06ea


