# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: d1fdb02f5ecce1f0bb006c36fa32155aa2b299a1
output_heap: 23867d56b416465afe6f09bd5b1dbe99ee81a358
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
59a3a880bb4874f61b767c399786d7d8a5dca439
b9e979b6bfeefbb885dde8c735bfbe5366309325


