# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 23f8aaf8d57f616ac47826489e61338428241993
input_heaps:
c7eca97fa6ef005cf19e871cc66dee919202f2f5
d7d8e72ec37a9d8fd658bf45be9f01f4c101427e
98e40bd54e0043bfb45e5a21a2cabe0561c43cf7


