# isabelle_session_info

session_name: HOL-Predicate_Compile_Examples
sources: 317ef5e0aedb92214e38657db902abbeb1088534
input_heaps:
6f335b5bb8779b347644e460d18a9f6245b4d5ac
cc5e75d1df4beb9a165a03b53590ef0a1708c25d
513461124470cfa2197ccabcb76a66e38ceaceb6


