# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 56c89856c8483de78a1d1b92144efbcdcdd82d6d
uuid: 3369c5cb-7df9-4ae8-9125-dd4b8b91c43f
input_heaps:
0801d317611e826e9cf4db1743005797fad2ead3
98042735e6ccb24a3163b6450a8c77d21c48bd86
a9348578a6d3bdcc791bc60012afe9c9048c3b9d


