# isabelle_session_info

session_name: HOL-ex
sources: f436c52bef5df939b62892231a3d9b5e29f4085a
uuid: fcdcb8c9-1a21-4dd4-a15a-68eddfb339b5
input_heaps:
b9d282957aa223601d52f84a817ca607725d2336
c178c9777d16793434d52b0438eb6f86f2c7d3c5
1bc30bca71fe536514610f66fe7694e103782a66
a3e00a75176ffb3a4926f71b13743c4095a76aed
940cc386cf3e765e7a5daa8bcc92d0ee094d3820


