# isabelle_session_info

session_name: HOL-ex
sources: c1ecb0fe0a24db6c45a041ed5fd14aebe1bc13ec
input_heaps:
d3f289e5195aaefd6aafc967100d776a58ce0b4f
29fed47a579a81d17666737d5ee8d107ce867490
f62a64ff1ddba877a4fe29e73fd9ae3e64176d09
33e9c59cc15e7457bf55925872a7624c1a3cd2fa
0d0cdc97e07e1a4f5d034046758bb74e1b6289e6


