# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: c5a5b93ea60ad89e5eefbf2c3a42d6d927325d4c
uuid: 6a9d5a35-b91a-4c54-9e66-e59dc691e105
input_heaps:
4348ecd95d08b83381d65d778dc99414fdfeb2c2
a77f4df9e49ab5de749eea6768f2c7722537ebe4
9309a27732761fe284cdbbd5c45863a9dfc6c5c6


