doc-src/Main/Docs/Main_Doc.thy
Sun, 06 May 2012 11:52:33 +0200 wenzelm prefer http://isabelle.in.tum.de/library alias, which is available at TUM only;
Sun, 22 Apr 2012 22:01:45 +0200 wenzelm updated const "relcomp";
Wed, 28 Mar 2012 17:57:23 +0200 nipkow improved robustness with new antiquoation by Makarius
Wed, 28 Mar 2012 16:12:10 +0200 nipkow updates
Wed, 15 Feb 2012 20:24:21 +0100 wenzelm updated listrel (cf. 80dccedd6c14);
Fri, 06 Jan 2012 10:19:49 +0100 haftmann incorporated canonical fold combinator on lists into body of List theory; refactored passages on List.fold(l/r)
Wed, 23 Nov 2011 13:46:46 +0100 wenzelm updated according to bdcaa3f3a2f4;
Sun, 18 Sep 2011 14:55:27 +0200 wenzelm updated Complete_Lattices;
Mon, 27 Jun 2011 22:20:49 +0200 wenzelm document antiquotations are managed as theory data, with proper name space and entity markup;
Sat, 16 Apr 2011 16:15:37 +0200 wenzelm modernized structure Proof_Context;
Wed, 12 Jan 2011 21:57:01 +0100 krauss documented Option.bind
Fri, 29 Oct 2010 17:28:27 +0200 nipkow added listrel1
Fri, 27 Aug 2010 12:40:20 +0200 wenzelm proper context for various Thy_Output options, via official configuration options in ML and Isar;
Wed, 11 Aug 2010 11:56:57 +0200 haftmann avoid old unnamed infix
Mon, 31 May 2010 21:06:57 +0200 wenzelm modernized some structure names, keeping a few legacy aliases;
less more (0) -15 tip