src/Doc/Main/Main_Doc.thy
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