Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

merged
more specific keyword kinds;
tuned whitespace;

Changeset 69914:72301e1457b9 by wenzelm: merged
Changeset 69913:ca515cf61651 by wenzelm: more specific keyword kinds;
The file was modified	`NEWS`
The file was modified	`src/Doc/Isar_Ref/Spec.thy`
The file was modified	`src/HOL/BNF_Composition.thy`
The file was modified	`src/HOL/BNF_Def.thy`
The file was modified	`src/HOL/BNF_Greatest_Fixpoint.thy`
The file was modified	`src/HOL/BNF_Least_Fixpoint.thy`
The file was modified	`src/HOL/Fun.thy`
The file was modified	`src/HOL/Fun_Def.thy`
The file was modified	`src/HOL/HOLCF/Cpodef.thy`
The file was modified	`src/HOL/HOLCF/Domain.thy`
The file was modified	`src/HOL/HOLCF/Fixrec.thy`
The file was modified	`src/HOL/Hilbert_Choice.thy`
The file was modified	`src/HOL/Inductive.thy`
The file was modified	`src/HOL/Library/BNF_Corec.thy`
The file was modified	`src/HOL/Library/Datatype_Records.thy`
The file was modified	`src/HOL/Library/Old_Recdef.thy`
The file was modified	`src/HOL/Lifting.thy`
The file was modified	`src/HOL/Nominal/Nominal.thy`
The file was modified	`src/HOL/Partial_Function.thy`
The file was modified	`src/HOL/Product_Type.thy`
The file was modified	`src/HOL/Quotient.thy`
The file was modified	`src/HOL/Record.thy`
The file was modified	`src/HOL/Statespace/StateSpaceLocale.thy`
The file was modified	`src/HOL/Typedef.thy`
The file was modified	`src/Pure/Isar/keyword.ML`
The file was modified	`src/Pure/Isar/keyword.scala`
The file was modified	`src/Pure/Pure.thy`
Changeset 69912:dd55d2c926d9 by wenzelm: tuned whitespace;
The file was modified	`src/HOL/Types_To_Sets/Examples/Prerequisites.thy`