# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 59ed84a4f5e8578b6b173c270b4240bd8fa56c91
uuid: 27574698-7049-4263-ae20-896aa8694fcb
input_heaps:
363cefc9c3ab9f434f73ff0aa175a2b3a649e93c
4bfee1ac9b5705115c0fa4fc347562a6dc3bfbf3
2ad0560e6ca966aff7e7d0f41c71c2cdcdc1853d


