| Thu, 26 Feb 2004 17:08:23 +0100 |
paulson |
converted Hyperreal/Series to Isar script
|
file |
diff |
annotate
|
| Thu, 26 Feb 2004 11:31:36 +0100 |
paulson |
converted Hyperreal/NatStar to Isar script
|
file |
diff |
annotate
|
| Wed, 25 Feb 2004 16:22:36 +0100 |
paulson |
converted Hyperreal/HSeries to Isar script
|
file |
diff |
annotate
|
| Tue, 24 Feb 2004 16:38:51 +0100 |
paulson |
converted Hyperreal/Log and Hyperreal/HLog to Isar scripts
|
file |
diff |
annotate
|
| Mon, 23 Feb 2004 17:33:38 +0100 |
paulson |
converted HOL/Complex/NSInduct to Isar script
|
file |
diff |
annotate
|
| Mon, 23 Feb 2004 16:35:46 +0100 |
paulson |
converted HOL/Complex/NSCA to Isar script
|
file |
diff |
annotate
|
| Sat, 21 Feb 2004 20:05:16 +0100 |
paulson |
conversion of Complex/CStar to Isar script
|
file |
diff |
annotate
|
| Sat, 21 Feb 2004 15:54:32 +0100 |
paulson |
conversion of Complex/CSeries to Isar script
|
file |
diff |
annotate
|
| Sat, 21 Feb 2004 11:43:39 +0100 |
paulson |
conversion of Complex/CLim to Isar script
|
file |
diff |
annotate
|
| Thu, 19 Feb 2004 15:57:34 +0100 |
ballarin |
Efficient, graph-based reasoner for linear and partial orders.
|
file |
diff |
annotate
|
| Sun, 15 Feb 2004 10:46:37 +0100 |
paulson |
Polymorphic treatment of binary arithmetic using axclasses
|
file |
diff |
annotate
|
| Tue, 10 Feb 2004 12:02:11 +0100 |
paulson |
generic of_nat and of_int functions, and generalization of iszero
|
file |
diff |
annotate
|
| Tue, 03 Feb 2004 11:06:36 +0100 |
paulson |
tidying of the complex numbers
|
file |
diff |
annotate
|
| Mon, 02 Feb 2004 12:23:46 +0100 |
paulson |
Conversion of HyperNat to Isar format and its declaration as a semiring
|
file |
diff |
annotate
|
| Thu, 29 Jan 2004 16:51:17 +0100 |
paulson |
simplifications in the hyperreals
|
file |
diff |
annotate
|