# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 33a5c2a6726ab78f2c1b87764387212dbf5610d4
uuid: 84007b62-1c91-4760-a6fe-3bc5da0dbd57
input_heaps:
77299dddcb29b78175e82c70524d32bf9d698d4a
bd3bb075592b20659918170e65cd26a662a77f21
f73af0d5d0c2570b2a3edee067d504b616e059ee


