# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 97f2229aaacda7307d24c9e0ca2f9367e74c2d11
uuid: b472fff7-1e45-4d9f-93ae-97da2faee184
input_heaps:
2119b738295b3991bc32a3d3086303360a58bfb8
16702f1d30a940ae0cc49cac75ef4dde0902bf60
66d209fd0192158045176f759b5bf813e284589b


