Missing alias added.

diff --git a/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/preamble.ma b/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/preamble.ma
index 5728f3ba67497cecd24e051785fcbbc1fef295de..6aea5b76b0b3c19a83519ad92edd7fee96d14b8f 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/preamble.ma
+++ b/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/preamble.ma
@@ -16,6 +16,9 @@ set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/Base/ext/preamble".
 
 include' "legacy/coq.ma".
 
+(* FG: This is because "and" is a reserved keyword of the parser *)
+alias id "land" = "cic:/Coq/Init/Logic/and.ind#xpointer(1/1)".
+
 (* FG/CSC: These aliases should disappear: we would like to write something
  *         like: "disambiguate in cic:/Coq/*"
  *)