Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. improper proof command 'guess' moved to separate theory "Pure-ex.Guess";
  3. NOT is part of syntax bundle also
Changeset 74366:d1185d02aef5 by wenzelm:
merged
Changeset 74365:b49bd5d9041f by wenzelm:
improper proof command 'guess' moved to separate theory "Pure-ex.Guess";
The file was addedsrc/Pure/ex/Guess.thy
The file was addedsrc/Pure/ex/Guess_Examples.thy
The file was modified NEWS (diff)
The file was modified src/Doc/Implementation/Proof.thy (diff)
The file was modified src/Doc/Isar_Ref/Proof.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was modified src/Pure/Isar/obtain.ML (diff)
The file was modified src/Pure/Pure.thy (diff)
The file was modified src/Pure/ROOT (diff)
The file was removedsrc/HOL/ex/Guess.thy
Changeset 74364:99add5178e51 by haftmann:
NOT is part of syntax bundle also
The file was modified NEWS (diff)
The file was modified src/HOL/Bit_Operations.thy (diff)