X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2FQ%2Fq.ma;h=2e34b3c24555d4a2f5282209ac8aa35faf51e7f7;hb=73a66cce6e72c654fdcd0ce760c405a74af70d08;hp=51b66cacc8756f9b773f52bb95ec1edb621471a6;hpb=ca41435a6021292ccba239aa173651c0be705b45;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