src/HOL/Library/LaTeXsugar.thy
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