# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 3e9366f49e0040e1846ee5c436a30d87a3ae2746
uuid: a4591abb-5fd9-4f21-a3d5-31721d260b9b
input_heaps:
ce295757e9128ce20e665c4f4ba08c3bdfeff815
3b15bfeb74cd601d1e7f504e7a4b04f02809051d
1262cc5026584a10c127e9b3af4f4ef395f988dc


