# isabelle_session_info

session_name: HOL-ex
sources: e462a15c6aab96426f627c92d383182d4b9815e6
uuid: 59a04f71-ae04-4cff-85da-e4462b18d774
input_heaps:
410762705afbcd782ce8dee8d2dd05d7dc4178b3
23f898d9e578305d6033b7e85db0c90d21f08baa
664498a91e20fd5c0b811316370a5baa6b5ad5b8
26944839c8d52769a23d013e1e0bab38151b6cec
b5229bf91a41cf0caf2e9ad8e9eb395fb3386d43


