| 2013-08-13 | wenzelm | 2013-08-13 | standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find; | file | diff | annotate |
| 2013-02-24 | haftmann | 2013-02-24 | turned example into library for comparing growth of functions | file | diff | annotate |
| 2013-02-17 | haftmann | 2013-02-17 | fundamentals about discrete logarithm and square root | file | diff | annotate |