X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fmatita%2Fmatita.lang;h=be110b9baab536a4a2d7b2665b152b3a63845e69;hb=c74a1a8237c8a05d26be0112f560d24de8cd9f0f;hp=30e7305ec32e5b84eca379a99013b03a911eceae;hpb=bc1570da87ab07a65158b8216cb484bad04f576c;p=helm.git
diff --git a/matita/matita/matita.lang b/matita/matita/matita.lang
index 30e7305ec..be110b9ba 100644
--- a/matita/matita/matita.lang
+++ b/matita/matita/matita.lang
@@ -114,6 +114,7 @@
coinductive
corec
default
+ discriminator
for
include
include'
@@ -180,7 +181,7 @@
â|â|λ|=|â|â|â¦|â|â¡|\?
- \[|\||\]|\{|\}|>|//|<|@|\$|#|\\\\|;|\.|:>|:
+ \[|\||\]|\{|\}|>|//|<|@|\$|#|\\\\|;|\.|:>|:|-