# isabelle_session_info

session_name: HOL-Predicate_Compile_Examples
sources: 1c114e46ba3e63e4511d3b589976ad7b2482a36c
input_heaps:
b4f0352ef26758d0b807242b0832bb09719f7d40
32f5edeff731c7afb4d63e2d21f4fc6ef1b3c6de
f228b9066c4332f0fb36022851fcb497ebc665dd


