Sat, 12 Apr 2014 17:26:27 +0200 | nipkow | made mult_pos_pos a simp rule | file | diff | annotate |
Tue, 13 Aug 2013 16:25:47 +0200 | wenzelm | standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find; | file | diff | annotate |
Tue, 26 Mar 2013 20:02:02 +0100 | wenzelm | tuned imports; | file | diff | annotate |
Mon, 25 Feb 2013 20:11:42 +0100 | wenzelm | fixed document; | file | diff | annotate |
Sun, 24 Feb 2013 20:29:13 +0100 | haftmann | turned example into library for comparing growth of functions | file | diff | annotate | base |