From: Ferruccio Guidi Date: Tue, 5 Sep 2006 17:45:10 +0000 (+0000) Subject: removing working file X-Git-Tag: make_still_working~6936 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4390ae76efcc9b435e7d0a1ec3aa6f266209e292;p=helm.git removing working file --- diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/preamble.ma~ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/preamble.ma~ deleted file mode 100644 index 1dce7c9b1..000000000 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/preamble.ma~ +++ /dev/null @@ -1,21 +0,0 @@ -alias id "s" = "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/s/defs/s.con". -alias id "lift_sort" = "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/lift/fwd/lift_sort.con". -alias id "lift_head" = "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/lift/fwd/lift_head.con". -alias id "r" = "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/r/defs/r.con". -alias id "r_S" = "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/r/props/r_S.con". -alias id "drop_gen_sort" = "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/drop/fwd/drop_gen_sort.con". -alias id "drop_gen_refl" = "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/drop/fwd/drop_gen_refl.con". -alias id "drop_gen_drop" = "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/drop/fwd/drop_gen_drop.con". -alias id "drop_gen_skip_l" = "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/drop/fwd/drop_gen_skip_l.con". -alias id "r_plus_sym" = "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/r/props/r_plus_sym.con". -alias id "lift_bind" = "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/lift/fwd/lift_bind.con". -alias id "lift_flat" = "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/lift/fwd/lift_flat.con". -alias id "lift_d" = "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/lift/props/lift_d.con". -alias id "s" = "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/s/defs/s.con". -alias id "s_plus" = "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/s/props/s_plus.con". -alias id "s_le" = "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/s/props/s_le.con". -alias id "s_plus_sym" = "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/s/props/s_plus_sym.con". -alias id "lift_lref_lt" = "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/lift/fwd/lift_lref_lt.con". -alias id "lift_lref_ge" = "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/lift/fwd/lift_lref_ge.con". -alias id "lift_head" = "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/lift/fwd/lift_head.con". -alias id "tlt_head_dx" = "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/tlt/props/tlt_head_dx.con".