# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 197c6f3492ed1eb5e6da29f0066f6f04e4f5a35a
uuid: e96d4cba-3b76-4345-87e1-64a2ce8ee28f
input_heaps:
95ed4e8ef4a50e6e2c06f89efaf18987551db93c
5ee65b4d98425bd750ed22b8b867605c93d371ef
b5248a18d66475fc1bc6569462467f96de11ceea


