# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 1d93b0d52d1258ec1562c93f05d4e4a95cc3f4fd
uuid: 1e5b0134-1413-432a-8ac6-ffd46092290c
input_heaps:
9f756a51bf34e1b2803926b818ad28454650efdb
6f8c06347605fafc9c3e2a708367e9d073c12b69
7a1d88efab84579e87bc510c25ca93ea0a0c6cf9


