Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. merged
  3. Added tag Isabelle2016-1-RC1 for changeset 9ee2480d10b7
  4. a more general relator domain rule for the function type
  5. Haskabelle is presently unmaintained;
  6. tuned;
Changeset 64428:de00179d2147 by wenzelm:
tuned;
The file was modified ANNOUNCE (diff)
Changeset 64427:195242d16c03 by wenzelm:
merged
Changeset 64426:cec5427b5c5f by wenzelm:
Added tag Isabelle2016-1-RC1 for changeset 9ee2480d10b7
The file was modified .hgtags (diff)
Changeset 64425:b17acc1834e3 by kuncar:
a more general relator domain rule for the function type
The file was modified src/HOL/Library/Extended_Nonnegative_Real.thy (diff)
The file was modified src/HOL/Transfer.thy (diff)
Changeset 64424:9ee2480d10b7 by wenzelm:
Haskabelle is presently unmaintained;
The file was modified Admin/components/main (diff)
Changeset 64423:012b64bcd399 by wenzelm:
tuned;
The file was modified ANNOUNCE (diff)