Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. optional description in Eisbach "method" command;
Changeset 78150:2963ea647c2a by kleing:
optional description in Eisbach "method" command;
The file was modified NEWS (diff)
The file was modified src/Doc/Eisbach/Manual.thy (diff)
The file was modified src/HOL/Eisbach/Eisbach.thy (diff)
The file was modified src/HOL/Eisbach/method_closure.ML (diff)