# isabelle_session_info

session_name: HOL-Corec_Examples
sources: c8b77b871edc2efecaa2456ef7314b4aa471e9b6
input_heaps:
4c23dca2c69764faca7d5f4195665a237a606274
a5a70e75908aaa1084fb6ce900cda62e8b243612
a49f0c38d5be714969812fc1324e41027112a619


