X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fcic_notation%2Fdoc%2Fsamples.ma;h=46193bf73d90aea14c1493fb1e85fa7f998799a9;hb=ba2dfe6409e95bf9e558dc0d4be382b068671409;hp=f1f6ac9391178a8b171c5d9fd1b8b682e086a813;hpb=c27b932e5adcf89dc9de0e28f65e3370fe3e6b05;p=helm.git

diff --git a/helm/ocaml/cic_notation/doc/samples.ma b/helm/ocaml/cic_notation/doc/samples.ma
index f1f6ac939..46193bf73 100644
--- a/helm/ocaml/cic_notation/doc/samples.ma
+++ b/helm/ocaml/cic_notation/doc/samples.ma
@@ -51,8 +51,7 @@ notation
   "'if' a 'then' b 'else' c"
 for
   @{ 'ifthenelse $a $b $c }.
-
-TODO collezionare le keyword e aggiungerle al lexer nonche' ricordarsele per quando si rimuove la notazione.
+print if even then x else bump x.
 
 notation
   "a \vee b"
@@ -61,9 +60,9 @@ for
 
 notation
   "'fun' ident x \to a"
-  right associative at precedence ...
+  right associative with precedence 20
 for
-  @{ 'lambda ${ident x} $a }
+  @{ 'lambda ${ident x} $a }.
 
 NOTES