# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 9da851dbc1d8dfe56daa626dcf2d2e1e54025506
input_heaps:
9ea718305cd1fd52d6423d9576c9d8a397701153
78fa00d6c63010d9371bd27168edaa8f7fa59ce9
59cfb0ec4a6a8913a53690c9a32309310a613657


