-
-(* Basic_1: removed theorems 11:
- pr0_subst0_back pr0_subst0_fwd pr0_subst0
- pr2_head_2 pr2_cflat clear_pr2_trans
- pr2_gen_csort pr2_gen_cflat pr2_gen_cbind
- pr2_gen_ctail pr2_ctail
-*)
-(* Basic_1: removed local theorems 4:
- pr0_delta_eps pr0_cong_delta
- pr2_free_free pr2_free_delta
-*)