Fri, 05 May 2000 18:24:06 +0200 |
nipkow |
Added constant abs.
|
file |
diff |
annotate
|
Fri, 31 Mar 2000 21:59:37 +0200 |
wenzelm |
setup cong_attrib_setup;
|
file |
diff |
annotate
|
Wed, 15 Mar 2000 18:47:28 +0100 |
wenzelm |
splitter setup;
|
file |
diff |
annotate
|
Wed, 01 Sep 1999 21:24:50 +0200 |
wenzelm |
*: no quotes;
|
file |
diff |
annotate
|
Thu, 26 Aug 1999 19:04:19 +0200 |
wenzelm |
iff_attrib_setup;
|
file |
diff |
annotate
|
Wed, 25 Aug 1999 20:49:02 +0200 |
wenzelm |
proper bootstrap of HOL theory and packages;
|
file |
diff |
annotate
|
Tue, 17 Aug 1999 22:13:23 +0200 |
wenzelm |
replaced HOL_quantifiers flag by "HOL" print mode;
|
file |
diff |
annotate
|
Mon, 16 Aug 1999 18:43:13 +0200 |
paulson |
restored a high precedence to unary minus
|
file |
diff |
annotate
|
Wed, 11 Aug 1999 13:13:58 +0200 |
nipkow |
* set HOL_quantifiers by default, i.e. quantifiers are printed as
|
file |
diff |
annotate
|
Thu, 29 Jul 1999 12:44:57 +0200 |
paulson |
added parentheses to cope with a possible reduction of the precedence of unary
|
file |
diff |
annotate
|
Mon, 07 Jun 1999 21:22:18 +0200 |
wenzelm |
reset HOL_quantifiers by default;
|
file |
diff |
annotate
|
Wed, 10 Mar 1999 10:55:12 +0100 |
wenzelm |
HTML output;
|
file |
diff |
annotate
|
Mon, 22 Feb 1999 10:20:25 +0100 |
paulson |
added a commment on the "ext" rule
|
file |
diff |
annotate
|
Fri, 11 Dec 1998 18:56:30 +0100 |
oheimb |
added new print_mode "xsymbols" for extended symbol support
|
file |
diff |
annotate
|
Mon, 02 Nov 1998 12:35:14 +0100 |
paulson |
increased precedence of unary minus from 80 to 100
|
file |
diff |
annotate
|
Tue, 15 Sep 1998 15:10:38 +0200 |
paulson |
From Compl(A) to -A
|
file |
diff |
annotate
|
Wed, 12 Aug 1998 16:23:25 +0200 |
oheimb |
cleanup for Fun.thy:
|
file |
diff |
annotate
|
Fri, 24 Jul 1998 13:28:21 +0200 |
berghofe |
Removed ThyData setup.
|
file |
diff |
annotate
|
Mon, 22 Jun 1998 17:26:46 +0200 |
wenzelm |
isatool fixgoal;
|
file |
diff |
annotate
|
Wed, 29 Apr 1998 11:41:08 +0200 |
wenzelm |
nonterminals;
|
file |
diff |
annotate
|
Sat, 04 Apr 1998 12:28:39 +0200 |
wenzelm |
replaced thy_data by thy_setup;
|
file |
diff |
annotate
|
Fri, 05 Dec 1997 17:19:38 +0100 |
wenzelm |
improved arbitrary_def: we now really don't know nothing about it!
|
file |
diff |
annotate
|
Mon, 03 Nov 1997 12:05:42 +0100 |
wenzelm |
aded thy_data;
|
file |
diff |
annotate
|
Mon, 20 Oct 1997 11:25:39 +0200 |
wenzelm |
adapted to qualified names;
|
file |
diff |
annotate
|
Fri, 10 Oct 1997 19:02:28 +0200 |
wenzelm |
fixed dots;
|
file |
diff |
annotate
|
Thu, 09 Oct 1997 15:03:06 +0200 |
wenzelm |
fixed infix syntax;
|
file |
diff |
annotate
|
Fri, 30 May 1997 15:19:58 +0200 |
paulson |
Overloading of "^" requires new type class "power", with types "nat" and
|
file |
diff |
annotate
|
Fri, 23 May 1997 18:17:53 +0200 |
nipkow |
Added `arbitrary'
|
file |
diff |
annotate
|
Tue, 20 May 1997 12:22:33 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 20 May 1997 11:05:59 +0200 |
wenzelm |
improved output syntax of op =, op ~= (more parentheses);
|
file |
diff |
annotate
|