# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: 240482a2277e55aa15eaa26736a2ed5b78ed8e87
output_heap: ee0f734b8d96965f111cb229144e353238aa4e1a
input_heaps:
9ca5f92a14099d9d0578aa86393b807a3c2738ce
5d409056603c26099742d14e8f0a43cb37242805
d09feff5f995f7242d61cf1b292aeefb5cd4590a


