# isabelle_session_info

session_name: HOL-Corec_Examples
sources: a7bed36cb03901dee58566a12f46d81710b2ed84
input_heaps:
1fdedf6012a4ebc6e40000ef24a132020cf3202d
6607fa2666df38d37eeb7f85fc4e19a3f5c65593
af98c444a305a9e9379f35b6e8caaee32b88667c


