# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: 9295363dbe3049f1ee8dcaccc831e506b34a7189
output_heap: 61358a4b9cbf0b75b241ae04100125fba1e8bf45
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
a6c50ad52b7015708e1f94394b6398e512098995


