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.
merged
authorwenzelm
Sun, 19 Jan 2020 12:57:20 +0100
changeset 71395 d7f8ee80ad42
parent 71393 fce780f9c9c6 (current diff)
parent 71394 933ad2385480 (diff)
child 71396 c1c61d0d8e7c
merged
--- a/src/HOL/Tools/Quickcheck/exhaustive_generators.ML	Sun Jan 19 07:50:35 2020 +0100
+++ b/src/HOL/Tools/Quickcheck/exhaustive_generators.ML	Sun Jan 19 12:57:20 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