# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: 41e0bbaa13c1be59f24b1f28dd6b13cc1ea11a2c
output_heap: a85a1d28608b7c8ba30f8c84d0abdbd0d290b40e
input_heaps:
33a9e32fd4df08287c7662d0ca60cf5ddac28356
4b353e22de97a71725acd840fcd08644cc4d74f4
aeccae392c1b594e56245f32036920591ce8ea13


