# isabelle_session_info

session_name: HOL-ex
sources: 0184278622c45fd1ff8b6a3fecb1fcf8aa867621
input_heaps:
8fa5df165501d3029bb2fa72694514834a8a60a8
d5ab31b7cfcb77d48540389ba5082fdc279c7301
830cb74ed00565ecb3e44a4c1f15548805d40dfa
9ad4d7eb07d290a1b67ff799dbc77f53d8addcb5
ce0e28e06c95a60666839ed62f06877a68a87b56


