# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: 40035aa8ac251401823851d6ba2eca02ac5ad249
output_heap: 44e84d34244e96959ebfc0e10e560ccc4ef19e4b
input_heaps:
e70ee0fd938a0febc474d8a614487240593c9abf
62b865a30afb162effeec3b132b2275d92775ddc
c36a82c5f2b75a2fa168ba6f76743877302143f0


