| Fri, 30 Aug 2013 14:07:49 +0200 | nipkow | more set syntax | 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 |
| Sat, 23 Mar 2013 20:50:39 +0100 | haftmann | fundamental revision of big operators on sets | file | diff | annotate |
| Wed, 19 Dec 2012 22:44:24 +0100 | nipkow | tuned infix table | file | diff | annotate |
| Mon, 17 Dec 2012 18:23:08 +0100 | nipkow | added table of infix operators | file | diff | annotate |
| Tue, 28 Aug 2012 18:57:32 +0200 | wenzelm | renamed doc-src to src/Doc; | file | diff | annotate | base |