# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: d6d817cb17cda82ce3156c6b2d8168805fbb0896
output_heap: c5a6bf4ba21a67448939d508b7bd3c0d858ec6ff
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
c799208d0f1fb2fbfebbbe6c600eb5411370bca6
1257b48ab955908226019e5fb24afbdf2f9bd769


