# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: bd9daf42970c86ec5272b6335f334419d4e59b0c
output_heap: 6c33ccb32709a1909ddfb5ecd1808e2dd656c7c3
input_heaps:
2722ec1bc2993f9863f5084b9ee07bd97dd3d36c
3f001195d7415da4b8cf06d884af4e156b801fea
0f2c9ebafc93c10771b50c2dab0b409867591a05


