src/HOL/Library/LaTeXsugar.thy
Thu, 18 Jan 2018 21:41:30 +0100 wenzelm clarified access to antiquotation options;
Wed, 10 Jan 2018 15:25:09 +0100 nipkow ran isabelle update_op on all sources
Tue, 09 Jan 2018 15:40:12 +0100 wenzelm clarified modules;
Mon, 28 Aug 2017 18:27:16 +0200 nipkow added eta_expansion and its documentation.
Thu, 22 Sep 2016 00:12:17 +0200 wenzelm raw control symbols are superseded by Latex.embed_raw;
Fri, 08 Jul 2016 19:35:31 +0200 nipkow new style dummy_pats
Mon, 23 May 2016 21:30:30 +0200 wenzelm embedded content may be delimited via cartouches;
Sat, 05 Mar 2016 20:47:31 +0100 wenzelm abbreviations for \<nexists>;
Wed, 17 Jun 2015 11:03:05 +0200 wenzelm isabelle update_cartouches;
Fri, 16 May 2014 09:19:15 +0200 nipkow new syntax for card, normalized spacing for #
Fri, 21 Mar 2014 20:33:56 +0100 wenzelm more qualified names;
Sun, 09 Mar 2014 16:37:56 +0100 wenzelm tuned signature;
Thu, 06 Mar 2014 14:38:54 +0100 wenzelm eliminated odd type constraint for read_const (see also 79c1d2bbe5a9);
Thu, 06 Mar 2014 13:44:01 +0100 wenzelm more uniform check_const/read_const;
Wed, 22 Jan 2014 17:14:27 +0100 wenzelm merged
Wed, 22 Jan 2014 16:03:11 +0100 wenzelm tuned signature;
Mon, 20 Jan 2014 18:25:44 +0100 blanchet fixed typo
Fri, 28 Sep 2012 08:39:48 +0200 nipkow new antiquotation const_typ
Sun, 13 Feb 2011 08:47:36 +0100 nipkow more pretty set comprehension sugar
Sun, 21 Feb 2010 20:54:07 +0100 wenzelm modernized notation -- to make it work for authentic syntax;
Fri, 05 Jun 2009 08:28:24 +0200 haftmann Set.insert with authentic syntax
Mon, 23 Mar 2009 08:14:24 +0100 haftmann Main is (Complex_Main) base entry point in library theories
Thu, 05 Mar 2009 08:23:11 +0100 haftmann set operations Int, Un, INTER, UNION, Inter, Union, empty, UNIV are now proper qualified constants with authentic syntax
Thu, 15 Jan 2009 14:52:24 +0100 haftmann dropped $Id$
Mon, 28 Jul 2008 20:49:07 +0200 nipkow *** empty log message ***
Mon, 07 Jul 2008 08:47:17 +0200 haftmann absolute imports of HOL/*.thy theories
Thu, 26 Jun 2008 10:07:01 +0200 haftmann established Plain theory and image
Mon, 10 Dec 2007 11:24:12 +0100 haftmann switched import from Main to List
Mon, 26 Nov 2007 18:25:06 +0100 nipkow Removed forced roman font in mode=IfThen.
Fri, 16 Feb 2007 11:00:47 +0100 schirmer added print-mode Axiom to print theorems without premises with a rule on top.
Tue, 07 Nov 2006 11:47:57 +0100 wenzelm renamed 'const_syntax' to 'notation';
Wed, 17 May 2006 01:23:48 +0200 wenzelm const_syntax;
Mon, 30 May 2005 08:21:58 +0200 nipkow added \nexists
Sun, 10 Apr 2005 11:42:07 +0200 nipkow tuned
Thu, 27 Jan 2005 13:33:21 +0100 nipkow fixed bugs
Wed, 26 Jan 2005 13:50:59 +0100 nipkow new
less more (0) tip