Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. provide Pure.simp/simp_all, which only know about meta-equality;
  3. clarified imports; tuned;
  4. tuned;
  5. oops;
  6. completion templates for commands involving "begin ... end" blocks;
  7. moved method "use" to Pure; more documentation;
  8. unused (see also 651ea265d568);
Changeset 63533:42b6186fc0e4 by wenzelm:
merged
Changeset 63532:b01154b74314 by wenzelm:
provide Pure.simp/simp_all, which only know about meta-equality;
The file was modified NEWS (diff)
The file was modified src/Doc/Isar_Ref/Generic.thy (diff)
The file was modified src/HOL/Isar_Examples/Higher_Order_Logic.thy (diff)
The file was modified src/HOL/ex/Adhoc_Overloading_Examples.thy (diff)
The file was modified src/Pure/simplifier.ML (diff)
Changeset 63531:847eefdca90d by wenzelm:
clarified imports;<br>tuned;
The file was modified src/Doc/Isar_Ref/Document_Preparation.thy (diff)
The file was modified src/Doc/Isar_Ref/Framework.thy (diff)
The file was modified src/Doc/Isar_Ref/Generic.thy (diff)
The file was modified src/Doc/Isar_Ref/HOL_Specific.thy (diff)
The file was modified src/Doc/Isar_Ref/Inner_Syntax.thy (diff)
The file was modified src/Doc/Isar_Ref/Outer_Syntax.thy (diff)
The file was modified src/Doc/Isar_Ref/Preface.thy (diff)
The file was modified src/Doc/Isar_Ref/Proof.thy (diff)
The file was modified src/Doc/Isar_Ref/Proof_Script.thy (diff)
The file was modified src/Doc/Isar_Ref/Quick_Reference.thy (diff)
The file was modified src/Doc/Isar_Ref/Spec.thy (diff)
The file was modified src/Doc/Isar_Ref/Symbols.thy (diff)
The file was modified src/Doc/Isar_Ref/Synopsis.thy (diff)
Changeset 63530:045490f55f69 by wenzelm:
tuned;
The file was modified src/Sequents/LK.thy (diff)
Changeset 63529:58980a8b2faf by wenzelm:
oops;
The file was modified src/Doc/Isar_Ref/Proof.thy (diff)
Changeset 63528:0f39f59317c1 by wenzelm:
completion templates for commands involving &quot;begin ... end&quot; blocks;
The file was modified NEWS (diff)
The file was modified src/Pure/General/symbol.scala (diff)
The file was modified src/Pure/Isar/outer_syntax.scala (diff)
The file was modified src/Tools/jEdit/src/completion_popup.scala (diff)
Changeset 63527:59eff6e56d81 by wenzelm:
moved method &quot;use&quot; to Pure;<br>more documentation;
The file was modified NEWS (diff)
The file was modified src/Doc/Isar_Ref/Proof.thy (diff)
The file was modified src/HOL/Eisbach/Eisbach.thy (diff)
The file was modified src/HOL/Eisbach/Eisbach_Tools.thy (diff)
The file was modified src/HOL/Eisbach/match_method.ML (diff)
The file was modified src/HOL/Eisbach/method_closure.ML (diff)
The file was modified src/Pure/Isar/method.ML (diff)
Changeset 63526:f8213afea07f by wenzelm:
unused (see also 651ea265d568);
The file was modified src/HOL/Binomial.thy (diff)