Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. made tactics more robust
Changeset 67222:19809bc9d7ff by traytel:
made tactics more robust
The file was modified src/HOL/Tools/BNF/bnf_def.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_def_tactics.ML (diff)