isabelle: File revisions

src/HOL/Library/LaTeXsugar.thy

2012-09-28	nipkow	2012-09-28	new antiquotation const_typ	file \| diff \| annotate
2011-02-13	nipkow	2011-02-13	more pretty set comprehension sugar	file \| diff \| annotate
2010-02-21	wenzelm	2010-02-21	modernized notation -- to make it work for authentic syntax;	file \| diff \| annotate
2009-06-05	haftmann	2009-06-05	Set.insert with authentic syntax	file \| diff \| annotate
2009-03-23	haftmann	2009-03-23	Main is (Complex_Main) base entry point in library theories	file \| diff \| annotate
2009-03-05	haftmann	2009-03-05	set operations Int, Un, INTER, UNION, Inter, Union, empty, UNIV are now proper qualified constants with authentic syntax	file \| diff \| annotate
2009-01-15	haftmann	2009-01-15	dropped $Id$	file \| diff \| annotate
2008-07-28	nipkow	2008-07-28	* empty log message *	file \| diff \| annotate
2008-07-07	haftmann	2008-07-07	*absolute imports of HOL/.thy theories**	file \| diff \| annotate
2008-06-26	haftmann	2008-06-26	established Plain theory and image	file \| diff \| annotate
2007-12-10	haftmann	2007-12-10	switched import from Main to List	file \| diff \| annotate
2007-11-26	nipkow	2007-11-26	Removed forced roman font in mode=IfThen.	file \| diff \| annotate
2007-02-16	schirmer	2007-02-16	added print-mode Axiom to print theorems without premises with a rule on top.	file \| diff \| annotate
2006-11-07	wenzelm	2006-11-07	renamed 'const_syntax' to 'notation';	file \| diff \| annotate
2006-05-17	wenzelm	2006-05-17	const_syntax;	file \| diff \| annotate
2005-05-30	nipkow	2005-05-30	added \nexists	file \| diff \| annotate
2005-04-10	nipkow	2005-04-10	tuned	file \| diff \| annotate
2005-01-27	nipkow	2005-01-27	fixed bugs	file \| diff \| annotate
2005-01-26	nipkow	2005-01-26	new	file \| diff \| annotate

isabelle

RSS Atom