Summary
- Tuned citation in Catalan_Numbers
The file was modified | thys/Catalan_Numbers/Catalan_Auxiliary_Integral.thy (diff) |
The file was modified | thys/Catalan_Numbers/Catalan_Numbers.thy (diff) |
The file was modified | thys/Catalan_Numbers/ROOT (diff) |
The file was modified | thys/Catalan_Numbers/Catalan_Auxiliary_Integral.thy (diff) |
The file was modified | thys/Catalan_Numbers/Catalan_Numbers.thy (diff) |
The file was modified | thys/Catalan_Numbers/ROOT (diff) |