# isabelle_session_info

session_name: HOL-ex
sources: 4fceb69e2b26e7639ef84de3dfa66e7e3573afb2
input_heaps:
9b9f81d4c305b88e1723b753afa9d6920245812e
c4fec795bbe4e08dce23c820eff003287faea711
430e9de3efdee3e74cea0907e193395680a2872a
aa7798b73ae16e482f7d8cecc2f531c9feef86c3
c57e08bf2d57c8cf81ba1e99dac5bf389517d0be


