1.1 --- a/src/HOL/Inductive.thy Thu Mar 15 17:45:54 2012 +0100
1.2 +++ b/src/HOL/Inductive.thy Thu Mar 15 19:02:34 2012 +0100
1.3 @@ -6,6 +6,7 @@
1.4
1.5 theory Inductive
1.6 imports Complete_Lattices
1.7 +keywords "monos"
1.8 uses
1.9 "Tools/dseq.ML"
1.10 ("Tools/inductive.ML")