Changes

Summary

merged
clarified modules;
type classes for XML data representation;
tuned signature;
clarified types: prefer Isabelle byte strings;
merged
added option labels to Mirabelle actions
more operations: dest binders;
clarified abstract and concrete boolean algebras
antiquotation for bundles

Changeset 74131:e4575152b525 by wenzelm: merged
Changeset 74130:54a108beed3e by wenzelm: clarified modules;
The file was modified	`src/Tools/Haskell/Haskell.thy` (diff)
Changeset 74129:c3794f56a2e2 by wenzelm: type classes for XML data representation;
The file was modified	`src/Tools/Haskell/Haskell.thy` (diff)
Changeset 74128:17e84ae97562 by wenzelm: tuned signature;
The file was modified	`src/Tools/Haskell/Haskell.thy` (diff)
Changeset 74127:9e97833a0bf0 by wenzelm: clarified types: prefer Isabelle byte strings;
The file was modified	`src/Tools/Haskell/Haskell.thy` (diff)
Changeset 74126:5fc391938873 by desharna: merged
Changeset 74125:94c27a7a0d39 by desharna: added option labels to Mirabelle actions
The file was modified	`src/HOL/Tools/Mirabelle/mirabelle.ML` (diff)
Changeset 74124:d36e40f3c171 by wenzelm: more operations: dest binders;
The file was modified	`src/Tools/Haskell/Haskell.thy` (diff)
Changeset 74123:7c5842b06114 by haftmann: clarified abstract and concrete boolean algebras
The file was added	`src/HOL/Boolean_Algebras.thy`
The file was modified	`NEWS` (diff)
The file was modified	`src/HOL/Analysis/Path_Connected.thy` (diff)
The file was modified	`src/HOL/Bit_Operations.thy` (diff)
The file was modified	`src/HOL/Fun.thy` (diff)
The file was modified	`src/HOL/Hilbert_Choice.thy` (diff)
The file was modified	`src/HOL/Lattices.thy` (diff)
The file was modified	`src/HOL/Set.thy` (diff)
The file was removed	`src/HOL/Boolean_Algebra.thy`
Changeset 74122:7d3e818fe21f by haftmann: antiquotation for bundles
The file was modified	`src/Doc/Isar_Ref/Document_Preparation.thy` (diff)
The file was modified	`src/Pure/Isar/bundle.ML` (diff)
The file was modified	`src/Pure/Thy/document_antiquotations.ML` (diff)