# isabelle_session_info

session_name: HOL-Predicate_Compile_Examples
sources: c799259d7d9b23ead5a89baa422d70c61cd9c451
input_heaps:
f4b2c6d5d738b06d204b6be11a7ab87828edefc9
e7adafd6063385647279f71f3a5428735a09a9dc
8026c178025208535b6c657df78d958706faa79c


