# isabelle_session_info

session_name: HOL-Corec_Examples
sources: fd944682b14ac5881cd29b6d91a8a6b752bb73bd
input_heaps:
991981938cf9c509b09775da4fe611141d975544
1b9ffcb61ac967bb2234adca439cd7c5b27cb436
fc84e9ab13859e4e3eed3e7f42d6359f79a95ba9


