# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 0cda5a5790c2142db4d62d6e5e645b4a3a1dfcf6
input_heaps:
6f0d95008f7369e66009336a552999da7ddc5ae8
ba6229f15de8ffb8ccd0be7f076e28ae3292cd29
d9da1b2038d4df7f82c30de8ca40c8d7bff81346


