Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Moved most of Lukas Bulwahn’s preliminary lemmas to other theories / AFP entries
Changeset 7659:16d365a11dd8 by paulson _lp15@cam.ac.uk_:
Moved most of Lukas Bulwahn’s preliminary lemmas to other theories / AFP entries
The file was modified thys/Chord_Segments/Chord_Segments.thy (diff)
The file was modified thys/Triangle/Angles.thy (diff)
The file was modified thys/Triangle/Triangle.thy (diff)