# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: d497dfc0c856c4e3ec349ee5fb820245a98645e7
output_heap: a519ec47bb6dc9b2168e7cd4767e495aa9a37ded
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
07fedd70327a9eec504959f963a3893b987bc494


