# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: aa4d29c3b432deecc4078692d84e02da180ad2ce
output_heap: cc92cba0ae08b81203d3698b827707913ba4c2c6
input_heaps:
9cd33e2f2669d2e2ef0833012528b204015b12df
e5cff2820287d96832c0244f64103884811e226d
ed9d823761cf66ef3ba1d6750a923f5acdf49fa3


