- matitaInit matitaprover matitadep matitamake:

[helm.git] / matita / contribs / LAMBDA-TYPES / Base-2 / preamble.ma

diff --git a/matita/contribs/LAMBDA-TYPES/Base-2/preamble.ma b/matita/contribs/LAMBDA-TYPES/Base-2/preamble.ma
index 84a4955459323e85637bb4198731a7018e291d72..f04df2037817bde872bd6cddab9cbee972994981 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Base-2/preamble.ma
+++ b/matita/contribs/LAMBDA-TYPES/Base-2/preamble.ma
@@ -16,8 +16,6 @@ set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-2/preamble".
 
 include "../Base-1/definitions.ma".
 
-alias id "le_ind" = "cic:/Coq/Init/Peano/le_ind.con".
-
 default "equality"
  cic:/Coq/Init/Logic/eq.ind
  cic:/matita/LAMBDA-TYPES/Base-1/preamble/sym_eq.con