src/Doc/Main/Main_Doc.thy
Fri, 30 Aug 2013 14:07:49 +0200 nipkow more set syntax
Tue, 13 Aug 2013 16:25:47 +0200 wenzelm standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
Sat, 23 Mar 2013 20:50:39 +0100 haftmann fundamental revision of big operators on sets
Wed, 19 Dec 2012 22:44:24 +0100 nipkow tuned infix table
Mon, 17 Dec 2012 18:23:08 +0100 nipkow added table of infix operators
Tue, 28 Aug 2012 18:57:32 +0200 wenzelm renamed doc-src to src/Doc;
less more (0) tip