# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: f3d235f0936e0b5ae650dab09480004e7f2bc934
input_heaps:
a6e433edc661d0701a70abc3dedb8c23479c8e91
01176b507ede2902d957814b1e2c10738166b57a
ca3865f29d459dabd0ac899f7126246104ac7734


