more results on strongly normalizing terms

[helm.git] / matita / matita / contribs / lambda_delta / Basic_2 / Basic_1.txt

diff --git a/matita/matita/contribs/lambda_delta/Basic_2/Basic_1.txt b/matita/matita/contribs/lambda_delta/Basic_2/Basic_1.txt
index f7e55be6343cadd5a5dafac7d42e98509d35bb27..6e87998761ae206ec5c104b7ad7b03938d47fcde 100644 (file)
--- a/matita/matita/contribs/lambda_delta/Basic_2/Basic_1.txt
+++ b/matita/matita/contribs/lambda_delta/Basic_2/Basic_1.txt
@@ -282,8 +282,6 @@ pr3/props pr3_eta
 pr3/subst1 pr3_subst1
 pr3/subst1 pr3_gen_cabbr
 pr3/wcpr0 pr3_wcpr0_t
-sn3/nf2 nf2_sn3
-sn3/props sn3_pr3_trans
 sn3/props sn3_cpr3_trans
 
 sn3/props sn3_shift
@@ -293,7 +291,6 @@ sn3/props sn3_cdelta
 sn3/props sn3_appl_lref
 sn3/props sn3_appl_abbr
 sn3/props sn3_appl_cast
-sn3/props sn3_appl_bind
 sn3/props sn3_appl_appl
 sn3/props sn3_appl_beta
 sn3/props sn3_appl_appls