# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: 715a43d4a3c43bf6f4b7bc6c8ddec8a4ee901133
output_heap: 1cdbd098acfb0adc198c8849cd561fc436395760
input_heaps:
3cef1131ffc36b5267ef54e02c39cc49de01aff8
1f732b8f5676e409931f4b9c5ad7c93b8b8467c9
cf5d24d8a09d871fd123d3876771a71891cdbc10


