doc-src/Main/Docs/Main_Doc.thy
Tue, 16 Mar 2010 06:55:01 +0100 haftmann adjusted to changes in Finite_Set
Mon, 22 Feb 2010 09:36:29 +0100 haftmann adjusted to cs. 8dfd816713c6
Tue, 09 Feb 2010 08:28:12 +0100 haftmann adjusted to cs. 9f841f20dca6
Sat, 06 Feb 2010 08:42:22 +0100 haftmann adjusted to changeset 118b41bba42b5
Thu, 22 Oct 2009 09:27:48 +0200 nipkow inv_onto -> inv_into
Tue, 20 Oct 2009 14:44:02 +0200 nipkow added Hilbert_Choice section
Wed, 14 Oct 2009 21:14:53 +0200 nipkow added List.nth
Wed, 07 Oct 2009 09:44:03 +0200 haftmann Inf/Sup now purely syntactic
Tue, 28 Jul 2009 08:48:48 +0200 krauss adapted doc to type of "op O"
Sun, 26 Jul 2009 08:03:40 +0200 haftmann adapted to changed prefixes
Thu, 23 Jul 2009 15:59:14 +0200 haftmann fixed doc
Sun, 26 Apr 2009 08:34:53 +0200 haftmann adjusted to changes in power syntax
Wed, 11 Mar 2009 20:11:06 +0100 wenzelm basic setup for "main" as generated Isabelle manual;
less more (0) tip