# isabelle_session_info

session_name: HOL-Predicate_Compile_Examples
sources: d5764a0b0cb7f0ec5137ed574f3ce83278d62678
input_heaps:
58d0f01554815b2ca2b0ce1eceea445cfa26d876
c68ce415310124a77b51aaffc37a88173faa34e4
6b157661e787cea622e8b4f7b3304a48a2eb04dc


