src/Doc/Implementation/Integration.thy
Thu, 22 Oct 2015 21:16:49 +0200 wenzelm more control symbols;
Tue, 20 Oct 2015 23:53:40 +0200 wenzelm isabelle update_cartouches -t;
Sun, 18 Oct 2015 22:57:09 +0200 wenzelm more control symbols;
Fri, 16 Oct 2015 14:53:26 +0200 wenzelm Markdown support in document text;
Wed, 14 Oct 2015 15:10:32 +0200 wenzelm more symbols;
Wed, 06 May 2015 23:28:09 +0200 wenzelm tuned;
Thu, 16 Apr 2015 14:18:32 +0200 wenzelm explicit error for Toplevel.proof_of;
less more (0) -10 -7 tip