# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: 209d0a1638fcabad766b0daab6e3549165daad31
output_heap: 3325e685ad423bbdd141cc0fe63c8b46e8d8ef7c
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
961d7cfc19b96122dabf28304bf6dc45da32abbe
2d3e2dd38800d2ba0dd0d3e2065accf5142866a7


