# isabelle_session_info

session_name: HOL-Corec_Examples
sources: f059b8b03357b335a5f40be581e3e0a2b4f1ace4
input_heaps:
e6482372651d25cfcd88b33f1b222ef5cdb71889
fc0e5d8b4e796b67ceabc210f27e4a4ee0999ebc
aef5ff10096fa0ad7e3acd5dc0607ec20af499b2


