# isabelle_session_info

session_name: HOL-ex
sources: da1be4e2422440581211365b34d9b601ed6335d2
input_heaps:
41c19be3f36616b14c5f74fb8791e46be930a98f
f738d32c8c714829016adbf642e3879ffef6c4ff
2b6d1c48343bf30bf5111de99768883080e7df1b
7b578aa3597d5739a992569d7d781e46b7fe619a
0361ec194335e510938b3ddc0b746114c0119156


