src/Doc/Functions/Functions.thy
Tue, 21 May 2019 11:30:30 +0200 krauss documentation for termination_simp attribute
Sat, 05 Jan 2019 17:24:33 +0100 wenzelm isabelle update -u control_cartouches;
Wed, 26 Dec 2018 16:25:20 +0100 wenzelm isabelle update_cartouches -t;
Tue, 16 Jan 2018 09:30:00 +0100 wenzelm standardized towards new-style formal comments: isabelle update_comments;
Fri, 12 Jan 2018 14:08:53 +0100 wenzelm isabelle update_cartouches -c;
Mon, 12 Oct 2015 21:15:10 +0200 wenzelm isabelle update_cartouches;
Fri, 14 Nov 2014 17:07:06 +0100 wenzelm use \isastyletext directly via 'text' command;
Tue, 07 Oct 2014 22:35:11 +0200 wenzelm more antiquotations;
Thu, 11 Sep 2014 19:32:36 +0200 blanchet updated news
Thu, 11 Sep 2014 18:54:36 +0200 blanchet renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new'
Sun, 10 Nov 2013 15:05:06 +0100 haftmann qualifed popular user space names
Tue, 01 Oct 2013 23:46:46 +0200 krauss basic documentation for function elimination rules and fun_cases
Sat, 17 Aug 2013 14:44:48 +0900 Christian Sternagel more document antiquotations (for proper theorem names);
Fri, 14 Dec 2012 16:33:22 +0100 wenzelm updated some headers;
Wed, 12 Sep 2012 13:42:28 +0200 wenzelm tuned headers;
Tue, 28 Aug 2012 18:57:32 +0200 wenzelm renamed doc-src to src/Doc;
less more (0) tip