Skip to content
Success

Changes

Summary

  1. clarified signature;
  2. more explanations on the new order prover (based on 10945fc183cd), without violating strict monotonicity of NEWS wrt. official releases;
  3. restore NEWS, before commit accidents 2aad8698f82f and 10945fc183cd;
  4. added documentation about new order prover - new prover for partial and linear orders by Lukas Stevens and Tobias Nipkow - See NEWS for more context
  5. tweaked
  6. tweaked;
Changeset 76230:fc19de122712 by wenzelm:
clarified signature;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 76229:6ee5306d143a by wenzelm:
more explanations on the new order prover (based on 10945fc183cd), without violating strict monotonicity of NEWS wrt. official releases;
The file was modified NEWS (diff)
Changeset 76228:3c46356d241f by wenzelm:
restore NEWS, before commit accidents 2aad8698f82f and 10945fc183cd;
The file was modified NEWS (diff)
Changeset 76227:10945fc183cd by lukas stevens _mail@lukas-stevens.de_:
added documentation about new order prover<br><br>- new prover for partial and linear orders by Lukas Stevens and Tobias Nipkow<br><br>- See NEWS for more context
The file was addedNEWS
The file was modified src/HOL/Orderings.thy (diff)
The file was removedNEWS
The file was modified src/Pure/Admin/ci_build.scala (diff)