# isabelle_session_info

session_name: HOL-Corec_Examples
sources: c431da0252a87e6a510b780822644409d825884e
input_heaps:
0fd942c2de17ffe6e7e669ea714c0bfd1357b97f
96be2a9745a5315d1ee7c3748cbb3041e3514260
7fbdb384c7dd334c316c02e41305ad9f8b47d436


