# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 3188f6ad3798b9cf91ecaac10e69695c3a1fff2b
uuid: 83f3db4d-c523-4488-934b-ae840eb3a58b
input_heaps:
6d690cd4904afc3b28afb37e78bce5c68e51dbbf
d608db88fa3d6d94fe9a1b191595fe6aa82e61d3
aebd6c76484da54bdd8bc867ee7bf6594438e960


