src/Doc/Prog_Prove/Basics.thy
Mon, 12 Feb 2018 14:13:54 +0100 Lars Hupel corrected some URLs
Fri, 12 Jan 2018 14:08:53 +0100 wenzelm isabelle update_cartouches -c;
Wed, 10 Jan 2018 15:25:09 +0100 nipkow ran isabelle update_op on all sources
Fri, 12 Aug 2016 17:53:55 +0200 wenzelm more symbols;
Tue, 09 Feb 2016 11:05:53 +0100 nipkow synchronized with book
Mon, 11 Jan 2016 18:27:27 +0100 nipkow tuned
Thu, 12 Nov 2015 11:22:26 +0100 nipkow tuned
Thu, 12 Nov 2015 11:05:38 +0100 nipkow added proof state output warning
Tue, 13 Oct 2015 19:25:22 +0200 nipkow typo
Mon, 13 Oct 2014 16:07:11 +0200 nipkow tuned
Fri, 03 Oct 2014 11:48:27 +0200 nipkow tuned
Thu, 07 Aug 2014 09:48:04 +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