X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fpapers%2Fmatita%2Fmatita.bib;h=d82d7d4d9e50928dba91a3aa2b4f97ff87928ea8;hb=1aad2bcf697c0b65560fe33b4f98d9f353514be4;hp=79d527b45b5136c33c12de4c3d2b812a14ee29d6;hpb=cbac948d507d74a558ba7f11ce10bc252b1ba8ba;p=helm.git

diff --git a/helm/papers/matita/matita.bib b/helm/papers/matita/matita.bib
index 79d527b45..d82d7d4d9 100644
--- a/helm/papers/matita/matita.bib
+++ b/helm/papers/matita/matita.bib
@@ -549,7 +549,6 @@
   year =         "2003",
 }
 
-
 @article{asperti-categorical-understanding,
   author = "Andrea Asperti",
   title = "A categorical understanding of environment machines",
@@ -579,6 +578,15 @@
   year = "1999"
 }
 
+@TechReport{ctcoq2,
+  author =       "Laurent Th\'ery and Yves Bertot and Gilles Kahn",
+  title =        "Real Theorem Provers Deserve Real User-Interfaces",
+  month =        may,
+  year =         "1992",
+  institution =  "INRIA",
+  number =       "{Inria Research Report 1684}"
+}
+
 @article{ctcoq3,
   author = "Yves Bertot and Laurent Th\'ery",
   title = "A Generic Approach to Building User Interfaces for Theorem Provers",
@@ -1160,15 +1168,6 @@ editor="{Tim Bray} and others",
                   ({TPHOLS}'2000), Portland, Oregon, USA",
 }
 
-@TechReport{ctcoq2,
-  author =       "Laurent Th\'ery and Yves Bertot and Gilles Kahn",
-  title =        "Real Theorem Provers Deserve Real User-Interfaces",
-  month =        may,
-  year =         "1992",
-  institution =  "INRIA",
-  number =       "{Inria Research Report 1684}"
-}
-
 @inproceedings{Ring,
   author =       "Samuel Boutin",
   title =        "Using Reflection to Build Efficient and Certified Decision