# isabelle_session_info

session_name: HOL-Predicate_Compile_Examples
sources: 306496ceea0e379c22b4f099ae36e3fd6750a8f8
input_heaps:
fd2c0e8d5dbbf0255abe36184d8e162e5a6dd88c
39629e2401e93cc477158e437466e40612502a08
c4d82df33445739f90434ee2e273c6c168bd07a4


