# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: 715a43d4a3c43bf6f4b7bc6c8ddec8a4ee901133
output_heap: eae17abe14a382d112621d33fa42135f91c86ddf
input_heaps:
a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b
2a3ae5bcf110c0b224d650e7eeeff12ea38a548b
ad19432e39e07b74da39791c03ec7bcb60e247e5


