# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: 41e0bbaa13c1be59f24b1f28dd6b13cc1ea11a2c
output_heap: 7ee507e7eb19a4e00fd5010bcfec8e417c0a64d0
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
eb75621f8ab6648d9914f278cec733eac63cc705
8cadf0f8cc4b9b62498e37c4ec3e67a01a09337d


