# isabelle_session_info

session_name: HOL-ex
sources: e3e9d38a8ac0d1e0457ea399ccc2d4afedcfc0a7
input_heaps:
f3782e60e56b1de215ee686052f461bb18c61005
ff5fe0825dd1d8f09ac6ba6d5da68bef29f41d33
cea65f62510c72c82894137cc6afc255458430a6
29f777c8ed2150b712e08cfb97134a2a1663d652
d0ebc2e62aa39cb4d9ef4e09e72561064f8e819d


