# isabelle_session_info

session_name: HOL-Corec_Examples
sources: cb9f99c460b3327f7f0513bfc3980205368a94db
uuid: d9bcd825-ca5b-445e-9e58-935b1fb76793
input_heaps:
2b8dd55def4b2146b301c20f74820d8ca9117fe5
a07cbbb690ec61ebb978a21d25325a3e90f64fb3
5a7f3425d17557d22ef9e2787c8b1c2459a2d092


