Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Trying out "subgoal", and no more [| |]
Changeset 63975:6728b5007ad0 by paulson _lp15@cam.ac.uk_:
Trying out "subgoal", and no more [| |]
The file was modified src/HOL/Auth/OtwayRees.thy (diff)