# isabelle_session_info

session_name: HOL-Predicate_Compile_Examples
sources: 306496ceea0e379c22b4f099ae36e3fd6750a8f8
input_heaps:
9884737fddd3e6081253c712523f8ecc142c72ee
a26171661ac87092335660b10885b138f2715297
4635c60c913dcc5f9239b81dba841b472bc64dcd


