From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 7 Sep 2006 15:15:16 +0000 (+0000)
Subject: Missing alias added.
X-Git-Tag: 0.4.95@7852~1066
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fe9fe2e62685608b6294b841fd6887a4bf99c812;p=helm.git

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 5728f3ba6..6aea5b76b 100644
--- 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/*"
  *)