| Sun, 13 Feb 2011 08:47:36 +0100 |
nipkow |
more pretty set comprehension sugar
|
file |
diff |
annotate
|
| Sun, 21 Feb 2010 20:54:07 +0100 |
wenzelm |
modernized notation -- to make it work for authentic syntax;
|
file |
diff |
annotate
|
| Fri, 05 Jun 2009 08:28:24 +0200 |
haftmann |
Set.insert with authentic syntax
|
file |
diff |
annotate
|
| Mon, 23 Mar 2009 08:14:24 +0100 |
haftmann |
Main is (Complex_Main) base entry point in library theories
|
file |
diff |
annotate
|
| 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
|
file |
diff |
annotate
|
| Thu, 15 Jan 2009 14:52:24 +0100 |
haftmann |
dropped $Id$
|
file |
diff |
annotate
|
| Mon, 28 Jul 2008 20:49:07 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Mon, 07 Jul 2008 08:47:17 +0200 |
haftmann |
absolute imports of HOL/*.thy theories
|
file |
diff |
annotate
|
| Thu, 26 Jun 2008 10:07:01 +0200 |
haftmann |
established Plain theory and image
|
file |
diff |
annotate
|
| Mon, 10 Dec 2007 11:24:12 +0100 |
haftmann |
switched import from Main to List
|
file |
diff |
annotate
|
| Mon, 26 Nov 2007 18:25:06 +0100 |
nipkow |
Removed forced roman font in mode=IfThen.
|
file |
diff |
annotate
|
| Fri, 16 Feb 2007 11:00:47 +0100 |
schirmer |
added print-mode Axiom to print theorems without premises with a rule on top.
|
file |
diff |
annotate
|
| Tue, 07 Nov 2006 11:47:57 +0100 |
wenzelm |
renamed 'const_syntax' to 'notation';
|
file |
diff |
annotate
|
| Wed, 17 May 2006 01:23:48 +0200 |
wenzelm |
const_syntax;
|
file |
diff |
annotate
|
| Mon, 30 May 2005 08:21:58 +0200 |
nipkow |
added \nexists
|
file |
diff |
annotate
|
| Sun, 10 Apr 2005 11:42:07 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Thu, 27 Jan 2005 13:33:21 +0100 |
nipkow |
fixed bugs
|
file |
diff |
annotate
|
| Wed, 26 Jan 2005 13:50:59 +0100 |
nipkow |
new
|
file |
diff |
annotate
|