# isabelle_session_info

session_name: HOL-ex
sources: 09aebbc0b24c9172d772289ec8fb3b6c3bf5a97e
input_heaps:
94f51dd4e7676acedffe74ec8d2e2647f4dbdd0c
2feb435dc45c22ba19ecfa070808cd954dbee802
abc19200663f461245bbb072515b86a213f74ed1
d92c00087ec5b5534ec4640439135dde423a1d84
13852e175e1694355368755ff6a7f95a6b19953d


