# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: e0b15428dea7d6f9403b80393c14f898a4b6c0ea
output_heap: 5fefd76815305c01cd860ecdaadf4e97038e263c
input_heaps:
665af98eb5b604629a3a80f1bd6c88145ac43a21
5144ebd7f8a7159ba53f7601bdcfe133b83a40ee
3e2a7821ff22d67def456d4ee5f050d3527ff2b2


