# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 047deb795934f6c6b1d8f1371e5d7ebef9749270
input_heaps:
94bc2aef97f45ab00e72704ecebbbcc992b99abf
3f8b5da88d1370194413e7da6a06ba328301b2ca
959e4463dceb0a3df7932d7506db177959ca17a2


