- lambda_delta: morew propertie in context-sensitive computation

[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 54f20be57c3ff2f3fe6512917c421ada2e83fe73..bc4582edef4a6abefab1977bcebbe228499f7bf2 100644 (file)
--- a/matita/matita/contribs/lambda_delta/Basic_2/Basic_1.txt
+++ b/matita/matita/contribs/lambda_delta/Basic_2/Basic_1.txt
@@ -254,7 +254,6 @@ pr2/subst1 pr2_gen_cabbr
 pr3/fwd pr3_gen_abst
 pr3/fwd pr3_gen_lref
 pr3/fwd pr3_gen_void
-pr3/fwd pr3_gen_abbr
 pr3/fwd pr3_gen_appl
 pr3/fwd pr3_gen_bind
 pr3/iso pr3_iso_appls_abbr
@@ -271,11 +270,9 @@ pr3/props pr3_head_2
 pr3/props pr3_head_21
 pr3/props pr3_head_12
 pr3/props pr3_flat
-pr3/props pr3_pr3_pr3_t
 pr3/props pr3_eta
 pr3/subst1 pr3_subst1
 pr3/subst1 pr3_gen_cabbr
-pr3/wcpr0 pr3_wcpr0_t
 sn3/props sn3_cpr3_trans
 
 sn3/props sn3_shift