# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 4e2a15c97c0cb5a8467f79d830776228045353ee
input_heaps:
41c19be3f36616b14c5f74fb8791e46be930a98f
f738d32c8c714829016adbf642e3879ffef6c4ff
2b6d1c48343bf30bf5111de99768883080e7df1b


