Summary
- 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) |
The file was modified | thys/Stewart_Apollonius/ROOT (diff) |
The file was modified | thys/Stewart_Apollonius/Stewart_Apollonius.thy (diff) |