Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. more theorems on orderings
  2. dropped junk
Changeset 62608:19f87fa0cfcb by haftmann:
more theorems on orderings
The file was modified src/HOL/Groups.thy (diff)
The file was modified src/HOL/Nat.thy (diff)
The file was modified src/HOL/Random.thy (diff)
The file was modified src/HOL/Rings.thy (diff)
The file was modified src/HOL/UNITY/Comp/AllocBase.thy (diff)
Changeset 62607:43d282be7350 by haftmann:
dropped junk
The file was modified src/Tools/Code/code_runtime.ML (diff)