# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: e71eb4359ced333ee004e20df6b75cc7164d8404
input_heaps:
ca44b1aafe88a973d88656dba67bfc0ae7f1c9d2
6d1b666fc08cae9ea800895da99c2176361f966d
fdc1926a6a1d4a0f943f3e4a0a3adf6d28dc3481


