# isabelle_session_info

session_name: HOL-Predicate_Compile_Examples
sources: 74581ee6dbc81ec432c5322f9e1b25193f5d2e8b
input_heaps:
24a02e746c61040204a8bb5050040c0249134cdf
94f56250bb4f3fd3f203368dc609dc2dfcebeb97
1e0f3a00b78341e1712801ed0c62b2e5452b2dde


