# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 15765630b10fa5d05847353a801765acab88f99b
input_heaps:
c64ea230285d7909ea4e291e0600b2281f3ec163
59813e7197c2ea57d24442f5882cad1d37e3a900
d45c7088d2de1bb843aafb52938f57f7c4df9015


