Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. tuned;
  2. toplevel theorem statements support 'if'/'for' eigen-context;
Changeset 63095:201480e65b7d by wenzelm:
tuned;
The file was modified src/HOL/Isar_Examples/Fibonacci.thy (diff)
Changeset 63094:056ea294c256 by wenzelm:
toplevel theorem statements support 'if'/'for' eigen-context;
The file was modified NEWS (diff)
The file was modified src/Doc/Isar_Ref/Proof.thy (diff)
The file was modified src/HOL/SPARK/Tools/spark_commands.ML (diff)
The file was modified src/Pure/Isar/parse_spec.ML (diff)
The file was modified src/Pure/Isar/specification.ML (diff)
The file was modified src/Pure/Pure.thy (diff)