Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned documentation
  2. document limitations
  3. more accurate error message
  4. robustness
Changeset 64384:f8c1c12d6af5 by blanchet:
tuned documentation
The file was modified src/Doc/Corec/Corec.thy (diff)
The file was modified src/Doc/manual.bib (diff)
Changeset 64383:b9d4efb43fd9 by blanchet:
document limitations
The file was modified src/Doc/Corec/Corec.thy (diff)
Changeset 64382:2a75139b5931 by blanchet:
more accurate error message
The file was modified src/HOL/Tools/BNF/bnf_gfp_grec.ML (diff)
Changeset 64381:59f59f826afd by blanchet:
robustness
The file was modified src/HOL/Tools/BNF/bnf_gfp_grec_sugar.ML (diff)