# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: 2163ef75d7f413ba8a70f11530c09749670202de
output_heap: a7c9bed81f1a35f33aee4d116a3e3c53cf3d2829
input_heaps:
96398ab8ee2f74c06c97a344c3a66be619380746
2b79a626e16e84e310d8fbaa9a7b13b173d5ae49
871d023673e4dd8e17ed9dfacb8e258477a5eec2


