Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper use of SELECT_GOAL to confine distinct_subgoals_tac to original goal range (amending 366d39e95d3c);
  2. a new lemma
  3. more informative bibtex errors;
Changeset 72232:e5fcbf6dc687 by wenzelm:
proper use of SELECT_GOAL to confine distinct_subgoals_tac to original goal range (amending 366d39e95d3c);
The file was modified NEWS (diff)
The file was modified src/Tools/eqsubst.ML (diff)
Changeset 72231:6b620d91e8cc by paulson _lp15@cam.ac.uk_:
a new lemma
The file was modified src/HOL/Library/Ramsey.thy (diff)
Changeset 72230:4710dd5093a3 by wenzelm:
more informative bibtex errors;
The file was modified lib/Tools/latex (diff)