# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 33a5c2a6726ab78f2c1b87764387212dbf5610d4
uuid: 6f1d0e6c-da76-4356-966e-89322edd4e02
input_heaps:
cb1b65c467ef552552ff2e51a2d5ffb63afd4758
b8a02a834d8fbee8ac02bc0db66ecdd69ead8168
d121f1c3fa0be413c06903becad78f7c07ac4879


