Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. removed odd cases rule (see also 8cb42cd97579);
  2. tuned proofs;
  3. tuned document;
  4. misc tuning and modernization;
  5. proper document source; tuned proofs;
  6. misc tuning and modernization;
Changeset 63113:fe31996e3898 by wenzelm:
removed odd cases rule (see also 8cb42cd97579);
The file was modified NEWS (diff)
The file was modified src/HOL/Nat.thy (diff)
Changeset 63112:6813818baa67 by wenzelm:
tuned proofs;
The file was modified src/HOL/Library/Omega_Words_Fun.thy (diff)
Changeset 63111:caa0c513bbca by wenzelm:
tuned document;
The file was modified src/HOL/Nat.thy (diff)
Changeset 63110:ccbdce905fca by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Nat.thy (diff)
Changeset 63109:87a4283537e4 by wenzelm:
proper document source;<br>tuned proofs;
The file was modified src/HOL/Wellfounded.thy (diff)
Changeset 63108:02b885591735 by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Wellfounded.thy (diff)