# isabelle_session_info

session_name: HOL-ex
sources: 66b938412d24757fc50027e7680e2552f56c7b77
input_heaps:
e3a1ccee455624b3686c1405fb0ec62cb06ce178
de0a1f2a4957e4b95cf4b9e6c34afe0b61facf97
9a19b2d719fee58f87cac76a2e5c1aa7631b2810
add66f6b0d2f3b23b571bec23cc09f42853c3ccd
aa3b5087571d1401cd632b3637606c4674b9bc79


