# isabelle_session_info

session_name: HOL-Predicate_Compile_Examples
sources: b1690e3c9acd86e311601b90b7e0b140ab66bf83
input_heaps:
f773f64b5324612793822c6b9168a199158bbc25
919d4d74d5325321cbb68f9d83a169ecec0e086e
b4d77f62759e3afff6f1ba3babead3c892f3048d


