# isabelle_session_info

session_name: HOL-ex
sources: a746bee59bcaece27aed475f4c05a90ae6c3f755
input_heaps:
fcd97a695ef5b62bea38497cd0d65f66703005ff
e9b88f37fc9fffc4ef10fd249175df1d7a522cfb
9d96b3461bff4a64b26cc6763863aab616a85f5c
871392edd33e357a39976549b850666d6daf0bf5
5879788867fe013f1799a116255da45786eaf0ba


