Summary
- fixed auto problem
- fixed if_split but is still broken
The file was modified | thys/Ptolemys_Theorem/Ptolemys_Theorem.thy (diff) |
The file was modified | thys/Ptolemys_Theorem/Ptolemys_Theorem.thy (diff) |
The file was modified | thys/Ptolemys_Theorem/Ptolemys_Theorem.thy (diff) |
The file was modified | thys/Ptolemys_Theorem/Ptolemys_Theorem.thy (diff) |