# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: b83a3597791161c45cfdcf6bce0f9ee83216f52a
input_heaps:
21cdc0b7ede6607d8caa98ee660803e107c08204
ca93c7ffed152f60f4df396467306a3c15d49576
8550c45aecbdcd678164a2a2bd4f828eb16343ba


