Changes

Summary

Changeset 9175:ad1d95d5ace6 by immler: fixed proofs
The file was modified	`thys/Green/Green.thy` (diff)
The file was modified	`thys/Green/Paths.thy` (diff)
The file was modified	`thys/Tarskis_Geometry/Linear_Algebra2.thy` (diff)
The file was modified	`thys/Tarskis_Geometry/Projective.thy` (diff)
The file was modified	`thys/UpDown_Scheme/Triangular_Function.thy` (diff)
Changeset 9174:2db4d4904aab by immler: fixed proofs
The file was modified	`thys/Affine_Arithmetic/Floatarith_Expression.thy` (diff)
The file was modified	`thys/Differential_Dynamic_Logic/Differential_Axioms.thy` (diff)
The file was modified	`thys/Differential_Dynamic_Logic/Lib.thy` (diff)
The file was modified	`thys/PLM/Thesis.thy` (diff)
The file was modified	`thys/Rep_Fin_Groups/Rep_Fin_Groups.thy` (diff)
The file was modified	`thys/Source_Coding_Theorem/Source_Coding_Theorem.thy` (diff)