# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 15d9b260b5278e0b7f8b330b83577424cb157bd7
input_heaps:
9d7517348472ce807cf5dff817172e1e8120481b
929ed8b823edb90e6904fdfe33cb6e38dbf2b397
2e6a14cf332154faba1bf040ff335b0da122122e


