# isabelle_session_info

session_name: HOL-Corec_Examples
sources: e06fe8814ac3823527148879697cbb35701a0b90
input_heaps:
6cddc4affe5c2168acd960501c3b8e0a87b46c52
836e6c5126283467c7477ad029076bcafced66f8
5b27ba0d99c4bd0098637ce9f29ef707026afa33


