- more properties 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 0570c48b302df1aede6b416482a43a18969ce1ec..f7e55be6343cadd5a5dafac7d42e98509d35bb27 100644 (file)
--- a/matita/matita/contribs/lambda_delta/Basic_2/Basic_1.txt
+++ b/matita/matita/contribs/lambda_delta/Basic_2/Basic_1.txt
@@ -290,7 +290,6 @@ sn3/props sn3_shift
 sn3/props sn3_change
 sn3/props sn3_gen_def
 sn3/props sn3_cdelta
-sn3/props sn3_beta
 sn3/props sn3_appl_lref
 sn3/props sn3_appl_abbr
 sn3/props sn3_appl_cast
@@ -302,7 +301,6 @@ sn3/props sn3_appls_lref
 sn3/props sn3_appls_cast
 sn3/props sn3_appls_bind
 sn3/props sn3_appls_beta
-sn3/props sn3_abbr
 sn3/props sn3_appls_abbr
 sn3/props sns3_lifts