Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. used HTTPS for SystemOnTPTP
  2. moved from AFP to distribution
Changeset 75412:b9c6758bb784 by desharna:
used HTTPS for SystemOnTPTP
The file was modified src/HOL/Tools/etc/options (diff)
Changeset 75411:3f24cc294d74 by haftmann:
moved from AFP to distribution
The file was addedsrc/HOL/Library/Complemented_Lattices.thy