# isabelle_session_info

session_name: Nested_Multisets_Ordinals
sources: 29e131ed39fef477d85db15b41497c07a78d1942
output_heap: 81588db1c6de2d9602c431e479cb323dcb480f88
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
f7313d2fa7354f16f20bf62a407ee24d0776ca4c


