# isabelle_session_info

session_name: HOL-Corec_Examples
sources: cd81e5f6834dc8fe894ad9ab5ea9cea42f75ca79
input_heaps:
ebd4c166384c9b3764e108666d8a86269fed7180
8c5d996e1630770374c897d3c4187798a2df046c
fc01839d7c6ea1864dbb5286dd46c09654254b52


