# isabelle_session_info

session_name: HOL-Corec_Examples
sources: fdcd3f27cd748396ed4710613f2aec7027a90bdb
input_heaps:
1300ca59facbaa4481d75d9849d301559eef4c8b
06ad16c3df521f9273b15f7309142f00f66e1808
b64d8aa540c1ef44f0994637d1ed1ce54d73e7e5


