# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: 86a91a91d5666566118695f5138c3744cd41f4e7
output_heap: 4b71e909c59d07a272f89e3ead21edde5c13a980
input_heaps:
c3d726d89c950dda47a94cd6c59e05975f526e9c
56285ac0202166b2b1eb0083d14e25cae3a1ed4a
9a596d78df9dcf3522669a2afcb7f56e295e99ff


