| 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 |
| Fri, 06 Apr 2012 18:17:16 +0200 | haftmann | no preference wrt. fold(l/r); prefer fold rather than foldr for iterating over lists in generated code | file | diff | annotate |
| Mon, 23 Jan 2012 17:29:19 +0100 | huffman | generalize type of List.listrel | file | diff | annotate |
| Fri, 06 Jan 2012 10:19:47 +0100 | haftmann | tuned proofs | file | diff | annotate |
| Sat, 24 Dec 2011 15:53:09 +0100 | haftmann | tuned proofs | file | diff | annotate |
| Mon, 12 Sep 2011 07:55:43 +0200 | nipkow | new fastforce replacing fastsimp - less confusing name | file | diff | annotate |
| Wed, 29 Sep 2010 09:08:01 +0200 | haftmann | fact listsum now names listsum_foldl | file | diff | annotate |