src/Doc/Prog_Prove/Logic.thy
Thu, 26 Feb 2015 18:23:51 +0100 nipkow typo
Mon, 10 Nov 2014 15:09:58 +0100 nipkow even -> evn because even is now in Main
Tue, 07 Oct 2014 22:35:11 +0200 wenzelm more antiquotations;
Mon, 06 Oct 2014 21:21:46 +0200 nipkow tuned
Tue, 30 Sep 2014 22:43:20 +0200 nipkow tuned
Tue, 30 Sep 2014 18:44:01 +0200 nipkow tuned
Sun, 18 May 2014 20:29:04 +0200 nipkow typos
Tue, 08 Apr 2014 12:46:38 +0200 haftmann even more standardized doc session names after #b266e7a86485
less more (0) tip