Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned header
authorhaftmann
Mon, 08 Feb 2010 17:12:18 +0100
changeset 35044 7c761a4bd91f
parent 35043 07dbdf60d5ad
child 35045 a77d200e6503
tuned header
src/HOL/Decision_Procs/Decision_Procs.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Decision_Procs/Decision_Procs.thy	Mon Feb 08 14:22:22 2010 +0100
+++ b/src/HOL/Decision_Procs/Decision_Procs.thy	Mon Feb 08 17:12:18 2010 +0100
@@ -2,7 +2,8 @@
 
 theory Decision_Procs
 imports
-  Commutative_Ring Cooper Ferrack MIR Approximation Dense_Linear_Order Parametric_Ferrante_Rackoff
+  Commutative_Ring Cooper Ferrack MIR Approximation Dense_Linear_Order
+  Parametric_Ferrante_Rackoff
   Commutative_Ring_Complete
   "ex/Commutative_Ring_Ex" "ex/Approximation_Ex" "ex/Dense_Linear_Order_Ex"
 begin
isabelle