# isabelle_session_info

session_name: HOL-ex
sources: bd6b2eb9e1ecb88e108279b5d57c7571867a1ab5
input_heaps:
13c804e8da8a74f383295a6bfe0c4311b16f8b3d
3638ddca034a61397c1cb22b68500e71420bb98c
3502ae365efdf531123a3f7110e5b1be554c347c
4cb1a7abe4097c59effaa1adf1bb810ee2004e10
36bb1b8c2ee5469fbf224ab39b231afd3778d22a


