# isabelle_session_info

session_name: HOL-Predicate_Compile_Examples
sources: fa0f325ffd5e6a8dc2f3585e0f11e297975c7a6c
input_heaps:
a3552ca70c14a200e457e2d73beea6524b2fc2a1
164d22ba20000019059cff6c55d56e309bc197cd
960ff11ca3f4685d99e0b8518ac9b964ef849b56


