| Wed, 02 Jan 2002 16:06:31 +0100 |
paulson |
Literal arithmetic: raising numbers to powers (nat, int, real, hypreal)
|
file |
diff |
annotate
|
| Mon, 08 Oct 2001 15:23:20 +0200 |
wenzelm |
sane numerals (stage 3): provide generic "1" on all number types;
|
file |
diff |
annotate
|
| Thu, 27 Sep 2001 18:45:23 +0200 |
wenzelm |
renamed real_of_int_eq_iff to real_of_int_inject;
|
file |
diff |
annotate
|
| Tue, 16 Jan 2001 12:20:52 +0100 |
paulson |
renamings: real_of_nat, real_of_int -> (overloaded) real
|
file |
diff |
annotate
|
| Tue, 09 Jan 2001 15:32:27 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Fri, 05 Jan 2001 18:48:18 +0100 |
nipkow |
^^ -> ```
|
file |
diff |
annotate
|
| Fri, 05 Jan 2001 10:17:48 +0100 |
paulson |
more removal of obsolete rules
|
file |
diff |
annotate
|
| Wed, 19 Jul 2000 12:33:19 +0200 |
paulson |
changed / to // for quotienting; general tidying
|
file |
diff |
annotate
|
| Sun, 16 Jul 2000 20:55:56 +0200 |
wenzelm |
use split syntax;
|
file |
diff |
annotate
|
| Wed, 14 Jun 2000 18:21:25 +0200 |
paulson |
a big tidy-up
|
file |
diff |
annotate
|
| Wed, 07 Jun 2000 12:14:18 +0200 |
paulson |
First round of changes, towards installation of simprocs
|
file |
diff |
annotate
|
| Wed, 10 May 2000 22:34:30 +0200 |
wenzelm |
fixed theory deps;
|
file |
diff |
annotate
|
| Thu, 19 Aug 1999 18:36:41 +0200 |
paulson |
real literals using binary arithmetic
|
file |
diff |
annotate
|