Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. eliminated old 'def';
Changeset 6542:d8194c44d733 by wenzelm:
eliminated old 'def';
The file was modified thys/Abortable_Linearizable_Modules/Idempotence.thy (diff)
The file was modified thys/Abstract-Rewriting/Relative_Rewriting.thy (diff)
The file was modified thys/Abstract-Rewriting/SN_Order_Carrier.thy (diff)
The file was modified thys/Abstract-Rewriting/SN_Orders.thy (diff)
The file was modified thys/Abstract-Rewriting/Seq.thy (diff)
The file was modified thys/Abstract_Completeness/Abstract_Completeness.thy (diff)
The file was modified thys/Affine_Arithmetic/Affine_Approximation.thy (diff)
The file was modified thys/Affine_Arithmetic/Affine_Form.thy (diff)
The file was modified thys/Affine_Arithmetic/Counterclockwise_2D_Arbitrary.thy (diff)
The file was modified thys/Affine_Arithmetic/Counterclockwise_2D_Strict.thy (diff)
The file was modified thys/Affine_Arithmetic/Counterclockwise_Vector.thy (diff)
The file was modified thys/Affine_Arithmetic/Intersection.thy (diff)
The file was modified thys/Affine_Arithmetic/Polygon.thy (diff)
The file was modified thys/Akra_Bazzi/Akra_Bazzi.thy (diff)
The file was modified thys/Akra_Bazzi/Akra_Bazzi_Asymptotics.thy (diff)
The file was modified thys/Akra_Bazzi/Akra_Bazzi_Library.thy (diff)
The file was modified thys/Akra_Bazzi/Akra_Bazzi_Real.thy (diff)
The file was modified thys/Akra_Bazzi/Master_Theorem.thy (diff)