# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: a43cf6a5ccd92ec91f0d8f66afc526a12d6b8c8d
input_heaps:
11861b433be89e5105729bae76faf9d9dce00490
3d74222e1a7d520ad3d0b356e7a30f85999b0fbb
90aa460aa619c17d2b0a290fc337ff985a0b5a26


