# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: d89f0129120adaf50fa10fef7d3955a6df62538c
output_heap: 7999b909130f3ea520be9a3e7bc3ed9a7c94277d
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
950ea4632527669f7c4dae144a0d8bd338d2ab61
209ca883be21e90b884bd51700ec726d52f1015e


