# HG changeset patch # User wenzelm # Date 1579276772 -3600 # Node ID 933ad2385480c08cae5dca1d0366a61919e34a0c # Parent 5556ae257df9361da939930c1a1cbecfc2ec9292 tuned spelling; diff -r 5556ae257df9 -r 933ad2385480 src/HOL/Tools/Quickcheck/exhaustive_generators.ML --- 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 (