| Thu, 14 Sep 2006 21:42:21 +0200 |
huffman |
generalized types of Infinitesimal, HFinite, and HInfinite to work over nonstandard extensions of any real normed vector space
|
changeset |
files
|
| Thu, 14 Sep 2006 21:36:26 +0200 |
huffman |
add instance for class division_ring
|
changeset |
files
|
| Thu, 14 Sep 2006 20:31:10 +0200 |
huffman |
removed duplicate lemmas
|
changeset |
files
|
| Thu, 14 Sep 2006 19:18:10 +0200 |
huffman |
fixed syntax clash with Real/RealVector
|
changeset |
files
|
| Thu, 14 Sep 2006 15:51:20 +0200 |
wenzelm |
*** empty log message ***
|
changeset |
files
|
| Thu, 14 Sep 2006 15:27:08 +0200 |
krauss |
Function package: Outside their domain functions now return "arbitrary".
|
changeset |
files
|
| Thu, 14 Sep 2006 15:25:23 +0200 |
krauss |
updated makefile
|
changeset |
files
|
| Thu, 14 Sep 2006 15:25:05 +0200 |
krauss |
Fixed Subscript Exception occurring with Higher-Order recursion
|
changeset |
files
|
| Thu, 14 Sep 2006 03:25:17 +0200 |
huffman |
remove conflicting norm syntax
|
changeset |
files
|
| Thu, 14 Sep 2006 00:23:02 +0200 |
wenzelm |
made SML/NJ happy;
|
changeset |
files
|
| Wed, 13 Sep 2006 21:41:31 +0200 |
wenzelm |
added exists_type;
|
changeset |
files
|
| Wed, 13 Sep 2006 21:41:25 +0200 |
wenzelm |
renamed NameSpace.drop_base to NameSpace.qualifier;
|
changeset |
files
|
| Wed, 13 Sep 2006 12:40:39 +0200 |
krauss |
Updated keyword file
|
changeset |
files
|
| Wed, 13 Sep 2006 12:37:13 +0200 |
krauss |
Removed debugging code imports...
|
changeset |
files
|
| Wed, 13 Sep 2006 12:21:35 +0200 |
paulson |
Added the "theory_const" option. Only it is OFF because it's often harmful!
|
changeset |
files
|