Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated for release;
  2. tuned;
  3. updated for release;
  4. some lemmas about the lex ordering on lists, etc.
Changeset 71438:22158ebde77f by wenzelm:
updated for release;
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
Changeset 71437:8fd1936490bc by wenzelm:
tuned;
The file was modified CONTRIBUTORS (diff)
Changeset 71436:2e1b0ee920f5 by wenzelm:
updated for release;
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
Changeset 71435:d8fb621fea02 by paulson _lp15@cam.ac.uk_:
some lemmas about the lex ordering on lists, etc.
The file was modified CONTRIBUTORS (diff)
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/Power.thy (diff)