# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 90f6a9833af33363dbd510b72fa8416e81b40ee2
uuid: e9d4283a-7803-468b-af36-9b02e8a4b808
input_heaps:
9b04407a9c9868cdf91440df38a950e6d09d9c8a
4002efa1f75a65fd71f748ba21623d892c47f0ab
258bafb318da8b8172037d1f1248f9ab6f5f01a8


