Changes

Summary

merged
merged
type class relaxation
more NEWS;
clarified group (but hard to tell);
more glyphs proposed by Simon Foster: 0x002713, 0x002717, 0x002af4, 0x002afb, 0x002afd; corresponding symbols and latex macros;
more lemmas

Changeset 73472:41fc655585e4 by paulson: merged
Changeset 73471:d6209de30edc by paulson: merged
Changeset 73470:76095cffcc2b by paulson _lp15@cam.ac.uk_: type class relaxation
The file was modified	`src/HOL/Library/Multiset.thy` (diff)
Changeset 73469:8eeea9901897 by wenzelm: more NEWS;
The file was modified	`NEWS` (diff)
Changeset 73468:86b900eff9bf by wenzelm: clarified group (but hard to tell);
The file was modified	`etc/symbols` (diff)
Changeset 73467:090add96f5f9 by wenzelm: more glyphs proposed by Simon Foster: 0x002713, 0x002717, 0x002af4, 0x002afb, 0x002afd;<br>corresponding symbols and latex macros;
The file was modified	`Admin/components/components.sha1` (diff)
The file was modified	`Admin/components/main` (diff)
The file was modified	`Admin/isabelle_fonts/IsabelleSymbols.sfd` (diff)
The file was modified	`Admin/isabelle_fonts/IsabelleSymbolsBold.sfd` (diff)
The file was modified	`Admin/isabelle_fonts/README` (diff)
The file was modified	`etc/symbols` (diff)
The file was modified	`lib/texinputs/isabellesym.sty` (diff)
The file was modified	`src/Doc/Isar_Ref/document/root.tex` (diff)
The file was modified	`src/Pure/Admin/build_fonts.scala` (diff)
The file was modified	`src/Pure/Tools/mkroot.scala` (diff)
Changeset 73466:ee1c4962671c by haftmann: more lemmas
The file was modified	`NEWS` (diff)
The file was modified	`src/HOL/Analysis/Brouwer_Fixpoint.thy` (diff)
The file was modified	`src/HOL/Analysis/Cartesian_Space.thy` (diff)
The file was modified	`src/HOL/Analysis/Infinite_Products.thy` (diff)
The file was modified	`src/HOL/Fun.thy` (diff)
The file was modified	`src/HOL/Library/Multiset.thy` (diff)
The file was modified	`src/HOL/Library/Permutations.thy` (diff)