# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: d1fdb02f5ecce1f0bb006c36fa32155aa2b299a1
output_heap: 9c8fc68d77ebbdd9c462914a5d1563b4523390f5
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
6e1fca943c4c583766dbdc0dfc914d2481cb449c
2e2da26495917cfebab299f0b237dc26342cecf3


