Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merge
  2. "subgoal" examples
Changeset 64365:6694bd2b9b67 by paulson _lp15@cam.ac.uk_:
Merge
Changeset 64364:464420ba7f74 by paulson _lp15@cam.ac.uk_:
"subgoal" examples
The file was modified src/HOL/Auth/Yahalom.thy (diff)
The file was modified src/HOL/Auth/Yahalom2.thy (diff)