tactic update

[helm.git] / helm / gTopLevel / fourier.ml

diff --git a/helm/gTopLevel/fourier.ml b/helm/gTopLevel/fourier.ml
index bb8b4ea136316365d262a56825ba71b495ea69ab..c1a40e6e10f52c76337bed8538461cf7dec105b2 100644 (file)
--- 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
+*)