X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2FQ%2Fq.ma;h=2e34b3c24555d4a2f5282209ac8aa35faf51e7f7;hb=4dc47c9675ffd5fa50296ffaa9b5997501518c98;hp=51b66cacc8756f9b773f52bb95ec1edb621471a6;hpb=ffdd3ddd6ce10a5fa0729ab407647bd46c44b9d8;p=helm.git

diff --git a/helm/software/matita/library/Q/q.ma b/helm/software/matita/library/Q/q.ma
index 51b66cacc..2e34b3c24 100644
--- a/helm/software/matita/library/Q/q.ma
+++ b/helm/software/matita/library/Q/q.ma
@@ -15,9 +15,8 @@
 include "Z/compare.ma".
 include "Z/plus.ma".
 include "nat/factorization.ma".
+include "Q/fraction/fraction.ma".
 
-alias id "pp" = "cic:/matita/Q/fraction/fraction/fraction.ind#xpointer(1/1/1)".
-alias id "cons" = "cic:/matita/Q/fraction/fraction/fraction.ind#xpointer(1/1/3)".
 let rec enumerator_integral_fraction l ≝
  match l with
   [ pp n ⇒ Some ? l