# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 6e19a8005d42d9ff8de19491a0b9c07c37900bd5
input_heaps:
095a950634237037a8fe6e589372f54d614cf935
dfac3b4064125a42333382ec937d0cece35163aa
77136ef32d63855feb31dba125649d66b8de2b0c


