| Thu, 22 Sep 2016 00:12:17 +0200 |
wenzelm |
raw control symbols are superseded by Latex.embed_raw;
|
file |
diff |
annotate
|
| Fri, 08 Jul 2016 19:35:31 +0200 |
nipkow |
new style dummy_pats
|
file |
diff |
annotate
|
| Mon, 23 May 2016 21:30:30 +0200 |
wenzelm |
embedded content may be delimited via cartouches;
|
file |
diff |
annotate
|
| Sat, 05 Mar 2016 20:47:31 +0100 |
wenzelm |
abbreviations for \<nexists>;
|
file |
diff |
annotate
|
| Wed, 17 Jun 2015 11:03:05 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
| Fri, 16 May 2014 09:19:15 +0200 |
nipkow |
new syntax for card, normalized spacing for #
|
file |
diff |
annotate
|
| Fri, 21 Mar 2014 20:33:56 +0100 |
wenzelm |
more qualified names;
|
file |
diff |
annotate
|
| Sun, 09 Mar 2014 16:37:56 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 06 Mar 2014 14:38:54 +0100 |
wenzelm |
eliminated odd type constraint for read_const (see also 79c1d2bbe5a9);
|
file |
diff |
annotate
|
| Thu, 06 Mar 2014 13:44:01 +0100 |
wenzelm |
more uniform check_const/read_const;
|
file |
diff |
annotate
|
| Wed, 22 Jan 2014 17:14:27 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Wed, 22 Jan 2014 16:03:11 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 20 Jan 2014 18:25:44 +0100 |
blanchet |
fixed typo
|
file |
diff |
annotate
|
| Fri, 28 Sep 2012 08:39:48 +0200 |
nipkow |
new antiquotation const_typ
|
file |
diff |
annotate
|
| 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
|