# isabelle_session_info

session_name: HOL-ex
sources: e0574fc83036f23db0aae5db2d38d43decaa3e09
input_heaps:
a7e0098c16fd923224d12b7191f69f9fa4d76b8d
47bb6935461017c83f2b18eba239137ac1b6429b
6d7cf6dc69fdde7813b48ebf04886b7ee334a278
a7109bfd5d6e251c84e17b3ad0e09baa836fc7ec
90a0b5f7358b92f665d282db1fc4f997f150f174


