# isabelle_session_info

session_name: HOL-ex
sources: e5fac7cd27b068c0efd67dd56040460af0229428
uuid: bfa24308-16b3-481f-8e1d-7ad9fc53251b
input_heaps:
47fe89a0b57a84789780bce1b7c17bef3c40f2cc
7f2d39404b813f8aab00b5b6b90da9cc0b8af993
e37b46de3b404cbdb3c5bc61b92145f4f14cc7e2
1ab2afd6c50137fdd5e574d465ca263c27673dba
de1099482787909e99533f78544e09873e454b2a


