# isabelle_session_info

session_name: HOL-ex
sources: fb86ed35e63d1690b14d238833b7a5d179eb4e14
input_heaps:
6a4a8939512f5187f2e67f11383402b7a93008e4
c57ced0f4fe1cec403fa9d0a4a34248bd37ba3a2
cfd60e59d1fab428755f5079f87cb77b601d57ae
74952dd18181ff5f33cd2cd1056db340183f2b67
419269e1720304dba502f4748242c8c9e0da2a68


