Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. reduce dependency to Triangle entry, as needed theorems were moved in afp-devel
Changeset 8152:4aaa4c896ea5 by lukas bulwahn _lukas.bulwahn@gmail.com_:
reduce dependency to Triangle entry, as needed theorems were moved in afp-devel
The file was modified thys/Stewart_Apollonius/ROOT (diff)
The file was modified thys/Stewart_Apollonius/Stewart_Apollonius.thy (diff)