Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merge
  2. tuned name (oops)
  3. Added tag Isabelle2016-1 for changeset 84bcab88c95f
Changeset 7475:0d68680bb57f by blanchet:
merge
Changeset 7474:568364445512 by blanchet:
tuned name (oops)
The file was modified thys/Lambda_Free_KBOs/Lambda_Free_KBO_App.thy (diff)
Changeset 7473:61df7b06f131 by kleing:
Added tag Isabelle2016-1 for changeset 84bcab88c95f
The file was modified .hgtags (diff)