# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 90c137a08d6dc04f53de81e52ad1a1f57d85b70b
input_heaps:
4595afb03e1f09e2fb0e3d35cf65a491a7b537d5
d3b8f1eb8eb9e490c4f891a0ca21373c1a3d6f0d
58d60c16f10054013246b4c3dd110babc21c3c20


