# isabelle_session_info

session_name: HOL-Corec_Examples
sources: eb5d86c125df5164ed7465db1a15d3dc52de7087
uuid: bdd9ac45-12f5-4c92-8274-9bd38a724b8a
input_heaps:
8ad5a9031d6debdb25f6a2d28327df038ef77817
042a873bc4c2d063090ad7ae9e8eaa3e07053193
6daf18f4855a1124051cbde926c9686f5570e093


