Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. more informative 'prf' and 'full_prf', based on HOL/Proofs/ex/XML_Data.thy;
  2. tuned signature;
Changeset 63624:994d1a1105ef by wenzelm:
more informative 'prf' and 'full_prf', based on HOL/Proofs/ex/XML_Data.thy;
The file was modified NEWS (diff)
The file was modified src/Doc/Isar_Ref/Inner_Syntax.thy (diff)
The file was modified src/Pure/Isar/isar_cmd.ML (diff)
Changeset 63623:1a38142e1172 by wenzelm:
tuned signature;
The file was modified src/Pure/proofterm.ML (diff)