Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. ignore generated dependency files (see 91d5a8255c98, fd5cd1daf6a9);
  2. Tidied up some messy proofs
  3. sketches of ideas still to come
  4. more theorems
  5. generalized
  6. tuned
Changeset 71411:839bf7d74fae by wenzelm:
ignore generated dependency files (see 91d5a8255c98, fd5cd1daf6a9);
The file was modified .hgignore (diff)
Changeset 71410:5385de42f9f4 by paulson _lp15@cam.ac.uk_:
Tidied up some messy proofs
The file was modified src/HOL/Wellfounded.thy (diff)
Changeset 71409:0bb0cb558bf9 by haftmann:
sketches of ideas still to come
The file was modified src/HOL/ex/Bit_Operations.thy (diff)
The file was modified src/HOL/ex/Word.thy (diff)
Changeset 71408:554385d4cf59 by haftmann:
more theorems
The file was modified src/HOL/Euclidean_Division.thy (diff)
The file was modified src/HOL/Parity.thy (diff)
Changeset 71407:2525e28e4b8b by haftmann:
generalized
The file was modified src/HOL/Nat.thy (diff)
Changeset 71406:3887432720a9 by haftmann:
tuned
The file was modified src/Provers/hypsubst.ML (diff)