# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 6fb28ba25a31b6ce6c4e1e36bb2d70a8175e77f2
input_heaps:
e732dd65e5ab0cbf3bf6f7494d4fbe0f1d593e8b
395c83d74852f525c9e02bd59cb442d01191d328
55873986695bfc225a8e468ea950bea87a6c9bf0


