- lambda_delta: static type assignment is defined

[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 92bd9860d94ebb3d96d834bbf32984128f15eea6..1b6aaa13f0d78844cee8fbe7d9a5bfe6080fc8aa 100644 (file)
--- a/matita/matita/contribs/lambda_delta/basic_2/basic_1.txt
+++ b/matita/matita/contribs/lambda_delta/basic_2/basic_1.txt
@@ -204,13 +204,6 @@ pr3/pr1 pr3_pr1
 pr3/props pr3_eta
 pr3/subst1 pr3_gen_cabbr
 sn3/props sns3_lifts
-sty0/fwd sty0_gen_sort
-sty0/fwd sty0_gen_lref
-sty0/fwd sty0_gen_bind
-sty0/fwd sty0_gen_appl
-sty0/fwd sty0_gen_cast
-sty0/props sty0_lift
-sty0/props sty0_correct
 sty1/cnt sty1_cnt
 sty1/props sty1_trans
 sty1/props sty1_bind