# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 8ac9b663eb6be82e4b5b8100dc3c8d83dd7c4596
input_heaps:
a8c309eb0c8fe4f6a33a13b2567e40753a5dcbed
6149c49ee16c41d819ea05c303469743157239e4
302f29713ed9a5198807c6feeed8e85966a98154


