# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 89a618d1cdae049ae4d0851b0314da434a9278d9
input_heaps:
73b97324401a390af5292cba94f0564c556fe305
6001243685746f1a1a24fa4ab39f70a8f5ce39cb
8b58379d670d6dfa674d643467997074641663ae


