# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: 9484d8a08bda1d9158fc7f07ab5ac7b8a989f11f
output_heap: e4631d7f7bafb0a13faf423aeb7ef39bf15a628c
input_heaps:
5a3b6f7b3e61510e7fd7048ff8c15610e20e90db
0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22
72a7dc3c6c09d3753915f7a979b1786e10db91cc


