# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: 7433579f9ad126d9fdfb72057c16d9a6e42c919f
output_heap: 771a7c91d0f261c09349e153641d621b19eabdb7
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
b2570be3314ffce30a94fb6d82651f19f907b353
2bb67fe138e0b7b02a70051b10cda04ab1bdc097


