Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper sectioning
  2. sorted out type issue with sort constraints
Changeset 62700:e3ca8dc01c4f by blanchet:
proper sectioning
The file was modified src/HOL/Library/BNF_Corec.thy (diff)
Changeset 62699:add334b71e16 by blanchet:
sorted out type issue with sort constraints
The file was modified src/HOL/Tools/BNF/bnf_gfp_grec.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_gfp_grec_sugar.ML (diff)