# isabelle_session_info

session_name: HOL-ex
sources: 652126778a8dc2b43dfca9f7464bf1072859026a
input_heaps:
25b0ff30768df4fab02e9aff76d0f45f128d63ca
6013e9b2873d320614122d686e65ea49474d2dc4
c209c1421d0dc42df1c80758ad0da4342656b3aa
e9226bed6478c57124b15dcb70441863366eaebb
3ece77bad994e83b3de787a95435c24b507811cf


