# isabelle_session_info

session_name: HOL-Corec_Examples
sources: bb92bedd0cf4171a591ce3f4ed87d00967c79b6a
uuid: 07f5bd70-6106-4e93-8d53-4d5a01768d63
input_heaps:
728364c96560a7a14ddc2e9263f9042c3dd467e5
f9339c00e61865f047b4085392acb528fb8b6ea7
abf90c6dc349ece67980805c7eded22c1798a41b


