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/Tools/Quickcheck/abstract_generators.ML
changeset 59936 b8ffc3dc9e24
parent 58112 8081087096ad
child 62391 1658fc9b2618 
--- a/src/HOL/Tools/Quickcheck/abstract_generators.ML	Mon Apr 06 16:30:44 2015 +0200
+++ b/src/HOL/Tools/Quickcheck/abstract_generators.ML	Mon Apr 06 17:06:48 2015 +0200
@@ -67,7 +67,7 @@
     Syntax.read_term
   
 val _ =
-  Outer_Syntax.command @{command_spec "quickcheck_generator"}
+  Outer_Syntax.command @{command_keyword quickcheck_generator}
     "define quickcheck generators for abstract types"
     ((Parse.type_const --
       Scan.option (Args.$$$ "predicate" |-- @{keyword ":"} |-- Parse.term)) --
isabelle