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 headers;
authorwenzelm
Sun, 13 Mar 2011 13:53:54 +0100
changeset 41938 645cca858c69
parent 41937 a369f8ba5425
child 41939 eb9fb5a4d27f
tuned headers;
src/HOL/Tools/Quickcheck/narrowing_generators.ML file | annotate | diff | comparison | revisions
src/HOL/Tools/Quickcheck/quickcheck_common.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Fri Mar 11 15:21:13 2011 +0100
+++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Sun Mar 13 13:53:54 2011 +0100
@@ -1,8 +1,7 @@
 (*  Title:      HOL/Tools/Quickcheck/narrowing_generators.ML
     Author:     Lukas Bulwahn, TU Muenchen
 
-Narrowing-based counterexample generation 
-
+Narrowing-based counterexample generation.
 *)
 
 signature NARROWING_GENERATORS =
--- a/src/HOL/Tools/Quickcheck/quickcheck_common.ML	Fri Mar 11 15:21:13 2011 +0100
+++ b/src/HOL/Tools/Quickcheck/quickcheck_common.ML	Sun Mar 13 13:53:54 2011 +0100
@@ -1,8 +1,7 @@
 (*  Title:      HOL/Tools/Quickcheck/quickcheck_common.ML
     Author:     Florian Haftmann, Lukas Bulwahn, TU Muenchen
 
-Common functions for quickcheck's generators
-
+Common functions for quickcheck's generators.
 *)
 
 signature QUICKCHECK_COMMON =
isabelle