# isabelle_session_info

session_name: HOL-ex
sources: 2c0ba90efa9977855051d8c1792c1079c84bbf1f
input_heaps:
bd83b15e1e0e9039a1a1655585e69901cdaa3f80
e4ea8cd95193acd87d6b106879f9d68d28c8a75e
d1789fe27bb2acdced8c4f59191cd5d99f361f8d
15d67d306388c473062e8315b972c8774c73994b
a30907c84e993f41305e3e3aa7e0d8f064829022


