Changes

Summary

Changeset 8067:c4db3021f277 by haftmann: avoid ancient [code, code del] antipattern
The file was modified	`thys/Algebraic_Numbers/Algebraic_Number_Tests.thy` (diff)
The file was modified	`thys/Algebraic_Numbers/Real_Algebraic_Numbers.thy` (diff)
The file was modified	`thys/Echelon_Form/Examples_Echelon_Form_IArrays.thy` (diff)
The file was modified	`thys/Gauss_Jordan/Code_Generation_IArrays_SML.thy` (diff)
The file was modified	`thys/Native_Word/Uint.thy` (diff)
The file was modified	`thys/Native_Word/Uint16.thy` (diff)
The file was modified	`thys/Native_Word/Uint32.thy` (diff)
The file was modified	`thys/Native_Word/Uint8.thy` (diff)
The file was modified	`thys/Native_Word/Uint_Userguide.thy` (diff)
The file was modified	`thys/QR_Decomposition/Examples_QR_Abstract_Float.thy` (diff)
The file was modified	`thys/QR_Decomposition/Examples_QR_Abstract_Symbolic.thy` (diff)
The file was modified	`thys/QR_Decomposition/Examples_QR_IArrays_Float.thy` (diff)
The file was modified	`thys/QR_Decomposition/Examples_QR_IArrays_Symbolic.thy` (diff)
The file was modified	`thys/Real_Impl/Real_Impl.thy` (diff)
The file was modified	`thys/Real_Impl/Real_Unique_Impl.thy` (diff)
Changeset 8066:b68e368242d6 by haftmann: avoid shadowing generic name
The file was modified	`thys/Containers/RBT_Set2.thy` (diff)
Changeset 8065:5723c886dac9 by haftmann: modernized
The file was modified	`thys/PCF/Dual_Lattice.thy` (diff)