# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: 3306388ee97502b75a4f36358f9a2c472a58ce7a
output_heap: 98689e48fe282c17a122b74f1c6463b988c9b49b
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
6e62cbbe97bf8d791782dfc434c7d2c1f9af0d5b


