# isabelle_session_info

session_name: HOL-Corec_Examples
sources: de2c0180e4363044cfb70e13762bef2717e835f7
input_heaps:
6d85d7da629d04ca7c167e89ee6174421944b179
7faafba131fdb968e2d6381e53b58a0c877dd620
b036ec7fe1c195049bf582657c30d1758f895a38


