Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Decision_Procs/Decision_Procs.thy
changeset 58988 6ebf918128b9
parent 51544 8c58fbbc1d5a 
--- a/src/HOL/Decision_Procs/Decision_Procs.thy	Wed Nov 12 17:37:43 2014 +0100
+++ b/src/HOL/Decision_Procs/Decision_Procs.thy	Wed Nov 12 17:37:43 2014 +0100
@@ -10,6 +10,7 @@
   Commutative_Ring_Complete
   "ex/Commutative_Ring_Ex"
   "ex/Approximation_Ex"
+  "ex/Approximation_Quickcheck_Ex"
   "ex/Dense_Linear_Order_Ex"
 begin
isabelle