Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. misc tuning for release;
  2. added lemma;
Changeset 63977:ec0fb01c6d50 by wenzelm:
misc tuning for release;
The file was modified NEWS (diff)
Changeset 63976:c1a481bb82d3 by wenzelm:
added lemma;
The file was modified src/HOL/Inductive.thy (diff)