# isabelle_session_info

session_name: HOL-ex
sources: b1f8c6ce27f5b6ec7b782034b8fe07ee11564da4
input_heaps:
4ef489b3613babddd4508356c27a113c0ac29a4b
55b6ff6b8f9fb383aae387ba1a281e772a16bdd7
92a54d91e8b43f1980b255d203f4d7843238eb3c
92149f79b3cceae548d176a139f477839afb4d51
94891f0687eeef604a5335bc8c85f3e97e1fa1d3


