# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: 39d3a4ce16c03191223aa8d98e0bcc67a7780d05
output_heap: b8d1fec423b9f65b2f62f463c0efabfb7e9c5778
input_heaps:
c2093642ce0e52d658430117f07a6a10f135143e
958f81e74e154e8719a792f45217a865d1da1a47
7567ec2590cd54c096686b248cc372280828e32e


