- predefined_virtuals: an addition

[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 9e3ecb7929dca61b919402924cbf22101e5b45d2..544232544fbe7a7bfafc5db1005da0365e3738c1 100644 (file)
--- a/matita/matita/contribs/lambda_delta/basic_2/basic_1.txt
+++ b/matita/matita/contribs/lambda_delta/basic_2/basic_1.txt
@@ -81,8 +81,6 @@ csubc/drop drop_csubc_trans
 csubt/csuba csubt_csuba
 csubt/fwd csubt_gen_abbr
 csubt/fwd csubt_gen_abst
-csubt/pc3 csubt_pr2
-csubt/pc3 csubt_pc3
 
 csubv/clear csubv_clear_conf
 csubv/clear csubv_clear_conf_void