# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: 9d0245c7efc9e3d6707d23f2efb26173065b7a05
output_heap: 9744e3dae0bcc1d8d00c6953e311b604c3bfafff
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
05a03eacc3059078cac786ce4b0187a596b54f20
bcf95ac656a45f019468b689876377b69fe52fd9


