# isabelle_session_info

session_name: HOL-Predicate_Compile_Examples
sources: b2095d533281bf5b813f80d923531d39895d5ed8
input_heaps:
39fd57141f5956da5dc3f7b7eb06f36b9d32f6a7
945f328ae679b2c2573e1277807dc9c4099a3d18
a178155c1a0676d4dd3d5a192c4219c00b504cee


