# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: d89fec4c77c2d6b66bec579991701cad17aac62d
input_heaps:
a3552ca70c14a200e457e2d73beea6524b2fc2a1
164d22ba20000019059cff6c55d56e309bc197cd
960ff11ca3f4685d99e0b8518ac9b964ef849b56


