src/HOL/Library/LaTeXsugar.thy
2009-01-15 haftmann 2009-01-15 dropped $Id$
2008-07-28 nipkow 2008-07-28 *** empty log message ***
2008-07-07 haftmann 2008-07-07 absolute imports of HOL/*.thy theories
2008-06-26 haftmann 2008-06-26 established Plain theory and image
2007-12-10 haftmann 2007-12-10 switched import from Main to List
2007-11-26 nipkow 2007-11-26 Removed forced roman font in mode=IfThen.
2007-02-16 schirmer 2007-02-16 added print-mode Axiom to print theorems without premises with a rule on top.
2006-11-07 wenzelm 2006-11-07 renamed 'const_syntax' to 'notation';
2006-05-17 wenzelm 2006-05-17 const_syntax;
2005-05-30 nipkow 2005-05-30 added \nexists
2005-04-10 nipkow 2005-04-10 tuned
2005-01-27 nipkow 2005-01-27 fixed bugs
2005-01-26 nipkow 2005-01-26 new