# isabelle_session_info

session_name: HOL-ex
sources: 612341e6cb33ba4da4d222986fe6170d98dcc46c
input_heaps:
7a379be8a63e9ff923fc00e5ee19cc1ce4796282
ad96b1effe4a8a155b0f9bfbc6f5ade8324a8a86
c272a2779767e451f83a8db40b6f602988675061
ac349691a0e08a877c2a562d35cfe5f49429c09b
3a751cd55a62f9e724e718f8f11639e3a273b604


