src/Doc/ProgProve/Bool_nat_list.thy
Tue, 04 Feb 2014 21:01:35 +0100 nipkow tuned latex
Tue, 04 Feb 2014 17:44:15 +0100 nipkow tuned
Tue, 04 Feb 2014 17:38:54 +0100 nipkow started index
Wed, 20 Nov 2013 08:56:54 +0100 nipkow tuned
Mon, 18 Nov 2013 09:45:50 +0100 nipkow comments by Sean Seefried
Sat, 16 Nov 2013 07:45:53 +0100 nipkow tuned
Wed, 16 Oct 2013 21:44:56 +0200 nipkow tuned exercises
Tue, 13 Aug 2013 16:25:47 +0200 wenzelm standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
Fri, 02 Aug 2013 19:21:34 +0200 nipkow tuned exercises
Mon, 29 Jul 2013 22:17:19 +0200 nipkow tuned intro
Sun, 21 Jul 2013 14:02:33 +0200 nipkow tuned exercises
Thu, 11 Jul 2013 21:34:37 +0200 nipkow added exercises
Mon, 10 Jun 2013 16:04:18 +0200 nipkow all headings in upper case
Tue, 28 Aug 2012 18:57:32 +0200 wenzelm renamed doc-src to src/Doc;
less more (0) tip