# isabelle_session_info

session_name: HOL-Corec_Examples
sources: c37d95a9ea6a8b4e44c51944668376c92e17e5fb
input_heaps:
ba25d24cc2e874a8354e87d4e48e9c15efe344a0
e9bd04c0bbf88566c8b48c915dcdb7deced6c947
a8cd560d3d087e6b40e8aabd0db773374f47bd00


