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 spelling;
authorwenzelm
Fri, 17 Jan 2020 16:59:32 +0100
changeset 71394 933ad2385480
parent 71391 5556ae257df9
child 71395 d7f8ee80ad42
tuned spelling;
src/HOL/Tools/Quickcheck/exhaustive_generators.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Quickcheck/exhaustive_generators.ML	Thu Jan 16 17:04:42 2020 +0100
+++ b/src/HOL/Tools/Quickcheck/exhaustive_generators.ML	Fri Jan 17 16:59:32 2020 +0100
@@ -443,7 +443,7 @@
   in HOLogic.mk_comp (wrap, mk_validator_expr ctxt t) end
 
 
-(** generator compiliation **)
+(** generator compilation **)
 
 structure Data = Proof_Data
 (
isabelle