# isabelle_session_info

session_name: HOL-ex
sources: 1b9a5b4bd84239a1a995e0a143f7e08b4544e770
input_heaps:
db692ddae81c9b00ee09c2ccbd0bf253d1829313
a61ae159d682d08a86748e488b5545fc9c92026d
dec87339ee5118ce60098092fcdb5a3cb9ecbdb6
5861e6aeacd558ab5a78934474ded42b0191e0cd
d104c811c5d44e252878af41e8782e713b6b6b3a


