X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FgTopLevel%2Ffourier.ml;h=c1a40e6e10f52c76337bed8538461cf7dec105b2;hb=2f28bfb47f5fad6b3c5a705d9ede95700416dee8;hp=bb8b4ea136316365d262a56825ba71b495ea69ab;hpb=5a8a7dd777c55a9907699a709760b0616b571919;p=helm.git

diff --git a/helm/gTopLevel/fourier.ml b/helm/gTopLevel/fourier.ml
index bb8b4ea13..c1a40e6e1 100644
--- a/helm/gTopLevel/fourier.ml
+++ b/helm/gTopLevel/fourier.ml
@@ -21,10 +21,16 @@ Pages: 326-327
 http://gallica.bnf.fr/
 *)
 
+
+
+
 (* Un peu de calcul sur les rationnels... 
 Les opérations rendent des rationnels normalisés,
 i.e. le numérateur et le dénominateur sont premiers entre eux.
 *)
+
+
+
 type rational = {num:int;
                  den:int}
 ;;
@@ -202,4 +208,4 @@ let test2=[
 deduce test2;;
 unsolvable test2;;
 
-*)
\ No newline at end of file
+*)