# isabelle_session_info

session_name: HOL-Corec_Examples
sources: f658409d45c7d35d400f4dd3fc1bf8a1369d6c1a
input_heaps:
ec4aa2174fecb1126018e64b1f3f8a51d94caa4e
a3e170b0ba817fa1bfb3fcc40a44fb0d546591f5
eb862dc6be3a4f4491b98668e0032522046b02a4


