1deltype prod
2skipthm prod_TY_DEF
3skipthm ABS_REP_prod
4delconst FST
5delconst SND
6delconst ,
7skipthm COMMA_DEF
8delproof PAIR_EQ
9delproof ABS_PAIR_THM
10skipthm datatype_pair
11