Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper installation of ancient procedure for preorders
  2. CONTRIBUTORS
  3. more idiomatic style for local declarations in apply scripts
Changeset 69815:56d5bb8c102e by haftmann:
proper installation of ancient procedure for preorders
The file was addedsrc/Provers/preorder.ML
The file was modified src/HOL/Library/Preorder.thy (diff)
The file was modified src/HOL/Orderings.thy (diff)
The file was modified src/HOL/ex/Function_Growth.thy (diff)
The file was removedsrc/Provers/quasi.ML
Changeset 69814:5929b172c6fe by haftmann:
CONTRIBUTORS
The file was modified CONTRIBUTORS (diff)
Changeset 69813:9d94a6c95113 by haftmann:
more idiomatic style for local declarations in apply scripts
The file was modified src/HOL/UNITY/Comp/Alloc.thy (diff)