Summary
- Discrete_Summation: remove find_theorem
The file was modified | thys/Discrete_Summation/Discrete_Summation.thy (diff) |
The file was modified | thys/Discrete_Summation/Stirling.thy (diff) |
The file was modified | thys/Discrete_Summation/Discrete_Summation.thy (diff) |
The file was modified | thys/Discrete_Summation/Stirling.thy (diff) |