# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 7f52a97cf86ff5eeee8c72a4052f52b4ce943c0b
input_heaps:
69aa70f16755536fb90c293b8cf6c5f43ac275cd
5f526e0100e302c086d054bebdbf267155c91c44
6f8905c590d176fa29fde3da614f02f7dc8c8123


