# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: 7433579f9ad126d9fdfb72057c16d9a6e42c919f
output_heap: 434bc2fc2998ad25ff026740c398283e9c6b7017
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
fdfe4e61737996684170e76c942ea2a1237ad4bb
a5c4ff3729c12d3f6e3120c60915b30013f484c8


