X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2Ftest.ma;h=ff017315c685abc8b3b177565e65e8fe9eb93b23;hb=105236d275296be7ab2561f83ec539a1d166b445;hp=95c919854b46a9d6ed96ad5d71c4cad4555ca702;hpb=bd5488c8eaa88e27d6e9e6c46566f1ed8f1a59b0;p=helm.git

diff --git a/helm/software/components/ng_kernel/test.ma b/helm/software/components/ng_kernel/test.ma
index 95c919854..ff017315c 100644
--- a/helm/software/components/ng_kernel/test.ma
+++ b/helm/software/components/ng_kernel/test.ma
@@ -14,6 +14,7 @@
 
 include "nat/plus.ma".
 
+(*
 let rec f n := 
   match n with
   [ O => O
@@ -28,4 +29,16 @@ let rec f n :=
                   in
                     h q] 
            in 
-             g m].
\ No newline at end of file
+             g m].
+*)
+
+let rec f n := 
+  match n with
+  [ O => O
+  | S m => g m
+  ]
+and g m :=
+ match m with
+  [ O => O
+  | S n => f n
+  ].
\ No newline at end of file