| 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-03-26 | wenzelm | 2013-03-26 | tuned imports; | file | diff | annotate |
| 2013-02-25 | wenzelm | 2013-02-25 | fixed document; | file | diff | annotate |
| 2013-02-24 | haftmann | 2013-02-24 | turned example into library for comparing growth of functions | file | diff | annotate | base |