# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 197c6f3492ed1eb5e6da29f0066f6f04e4f5a35a
uuid: 339140ef-4936-4d11-b6dc-b93c05b50d57
input_heaps:
363cefc9c3ab9f434f73ff0aa175a2b3a649e93c
4bfee1ac9b5705115c0fa4fc347562a6dc3bfbf3
2ad0560e6ca966aff7e7d0f41c71c2cdcdc1853d


