# isabelle_session_info

session_name: HOL-ex
sources: 84be6306dee082ea133898ed2ae5d311ebbe71f8
input_heaps:
8c69b9efee18f61099e59a5c1105f587a7f8c9a0
35b3c51d1ce4ea0bc62a27bf61e30c51ec73a0a1
8e6c1e2b8d4de3a28b031281de30e6f9c83d2f88
2028557747bf8e60d8312fa1ba048c6cb129fa2d
4c23f3faf4696f64fdbd6f3f46de598a1481f9a4


