Changes

Summary

several updates on polynomial long division and pseudo division - division of polynomials is now available on idom_divide (was field before) - added polynomial pseudo division (on comm_ring_1) - improved code equation for polynomial (pseudo)-division (joint work of S. Joosten, R. Thiemann, and A. Yamada)
fragment of a HOL type class primer
capitalized GCD and LCM syntax
environment variable check has become pointless after 771b8ad5c7fc

Changeset 63027:8de0ebee3f1c by rene thiemann _rene.thiemann@uibk.ac.at_: several updates on polynomial long division and pseudo division<br><br>- division of polynomials is now available on idom_divide (was field before)<br>- added polynomial pseudo division (on comm_ring_1)<br>- improved code equation for polynomial (pseudo)-division<br><br>(joint work of S. Joosten, R. Thiemann, and A. Yamada)
The file was modified	`src/HOL/Library/Polynomial.thy` (diff)
Changeset 63026:9a9c2d846d4a by haftmann: fragment of a HOL type class primer
The file was added	`src/Doc/Typeclass_Hierarchy/Setup.thy`
The file was added	`src/Doc/Typeclass_Hierarchy/Typeclass_Hierarchy.thy`
The file was added	`src/Doc/Typeclass_Hierarchy/document/build`
The file was added	`src/Doc/Typeclass_Hierarchy/document/root.tex`
The file was added	`src/Doc/Typeclass_Hierarchy/document/style.sty`
The file was modified	`src/Doc/ROOT` (diff)
The file was modified	`src/Doc/manual.bib` (diff)
The file was modified	`src/Doc/more_antiquote.ML` (diff)
Changeset 63025:92680537201f by haftmann: capitalized GCD and LCM syntax
The file was modified	`src/HOL/GCD.thy` (diff)
Changeset 63024:adeac19dd410 by haftmann: environment variable check has become pointless after 771b8ad5c7fc
The file was modified	`src/Tools/Code/code_ml.ML` (diff)
The file was modified	`src/Tools/Code/code_target.ML` (diff)