# isabelle_session_info

session_name: HOL-ex
sources: 3e2a1f1e3424ecc45c7afb40f87c76bdd8226dbd
input_heaps:
24a38c72ee89e95ca4340bf3149b8301de12b264
ffa32f7831827e888dad40b899438fb418edd108
6f73f5b45ae3c004aa2e6a7d3a214ce35eb30b63
ab5806c3b5726fbd7e315418f73cd92cb7f09422
7b2575033bbbf2efc1766fe18d0f548a97369822


