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 whitespace
authorhaftmann
Wed, 10 Jun 2009 16:22:54 +0200
changeset 31609 8d353e3214d0
parent 31608 a98a47ffdd8d
child 31610 2b47e8e37c11
tuned whitespace
src/HOL/Tools/quickcheck_generators.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/quickcheck_generators.ML	Wed Jun 10 16:10:31 2009 +0200
+++ b/src/HOL/Tools/quickcheck_generators.ML	Wed Jun 10 16:22:54 2009 +0200
@@ -330,8 +330,6 @@
     |> Class.prove_instantiation_exit (K (Class.intro_classes_tac []))
   end;
 
-
-
 fun ensure_random_datatype raw_tycos thy =
   let
     val pp = Syntax.pp_global thy;
isabelle