# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: c20b913df8b0af62d4322af7ea729ab4c0c86397
input_heaps:
bb6edb3325d4afe86dcddb38cd64e9e4f6cb4f05
f5abe85b5a6ae336d989f2da068aa228d0fe8ac0
8532b7cfa01864c21c6562c284e5e40df2a3d4be


