# isabelle_session_info

session_name: HOL-ex
sources: 0e302b9b5bae0a632caff7d90a4f1e19605cb0c9
input_heaps:
fe1281de5d7780f272aca589ea23aa21095812b5
b0fbbd38fa9ab2d8baffe811a6d340106ce50024
f98dc62ed54f1228f5aeb5a8fbd68087be1b7ed8
954a5620d9d77d908241c0dae9976c15f7017890
8418338c6b7d94af4aa4086f5a585a72f68a19da


