# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: 68d6faf9a5d86c3d8d3939aa2a8a8d6125293635
output_heap: 79b82b18c103f61008d769ca90a6fd0d469998a6
input_heaps:
665af98eb5b604629a3a80f1bd6c88145ac43a21
27625c6a71bbe28fc0d93a17cd760af834a4e6e7
fe919dd55adc407145d1fe9eb9b52420142f29c8


