Summary
- updated to scala-2.12.11;
- merged
- put back Nat.le_diff_conv2 because AUTO2 doesn't work with Groups.le_diff_conv2
- merged
- new-style Greater lemmas
- tidying up some horrible proofs
The file was modified | Admin/components/components.sha1 (diff) |
The file was modified | Admin/components/main (diff) |
The file was modified | src/HOL/Nat.thy (diff) |
The file was modified | src/HOL/Computational_Algebra/Polynomial.thy (diff) |
The file was modified | src/HOL/Computational_Algebra/Polynomial_Factorial.thy (diff) |
The file was modified | src/HOL/List.thy (diff) |
The file was modified | src/HOL/Nat.thy (diff) |
The file was modified | src/HOL/Transcendental.thy (diff) |