# isabelle_session_info

session_name: HOL-ex
sources: 4125a7552cb7144aaece508e6c1982f05020f23c
input_heaps:
6f335b5bb8779b347644e460d18a9f6245b4d5ac
cc5e75d1df4beb9a165a03b53590ef0a1708c25d
513461124470cfa2197ccabcb76a66e38ceaceb6
0d5ca757f0319ccfa504b7883ecf52858663b857
db3c7e05ff2cad8a362eb928eaf82e661a770946


