basic_1: COMMIT COMPLETED

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / basic_1.txt

diff --git a/matita/matita/contribs/lambdadelta/basic_2/basic_1.txt b/matita/matita/contribs/lambdadelta/basic_2/basic_1.txt
index 817f67b9c92a1772f3160a0763b59ccb7aa03ee0..0ff386374a704bfef93876b4496284119e42130c 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/basic_1.txt
+++ b/matita/matita/contribs/lambdadelta/basic_2/basic_1.txt
@@ -1,3 +1,12 @@
+# new ########################################################################
+
+s_le_gen s_lt_gen
+r_arith2 r_arith3 r_arith4 r_arith5 r_arith6 r_arith7 
+tle tle_r
+cle_r cle_head cle_trans_head cle_flt_trans
+lift_tle lift_free_sym
+subst0_gen_lift_rev_ge
+
 # waiting ####################################################################
 
 aplus/props aplus_reg_r
@@ -240,3 +249,4 @@ wf3/ty3 wf3_pc3_conf
 wf3/ty3 wf3_ty3_conf
 
 # check ######################################################################
+