Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more concise criterion
  2. tuned
  3. more on lists
Changeset 65390:83586780598b by haftmann:
more concise criterion
The file was modified src/HOL/Library/Polynomial.thy (diff)
The file was modified src/HOL/Library/Polynomial_Factorial.thy (diff)
Changeset 65389:6f9c6ae27984 by haftmann:
tuned
The file was modified src/HOL/Library/Polynomial_Factorial.thy (diff)
Changeset 65388:a8d868477bc0 by haftmann:
more on lists
The file was modified src/HOL/Library/More_List.thy (diff)