| Thu, 04 Jun 2009 16:11:36 -0700 |
huffman |
add extra type constraints for dist, norm
|
file |
diff |
annotate
|
| Thu, 04 Jun 2009 14:32:00 -0700 |
huffman |
generalize norm method to work over class real_normed_vector
|
file |
diff |
annotate
|
| Fri, 29 May 2009 15:32:33 -0700 |
huffman |
instance ^ :: (metric_space, finite) metric_space
|
file |
diff |
annotate
|
| Thu, 28 May 2009 22:54:57 -0700 |
huffman |
fix reference to dist_def
|
file |
diff |
annotate
|
| Tue, 12 May 2009 17:32:49 +0100 |
chaieb |
Isolated decision procedure for noms and the general arithmetic solver
|
file |
diff |
annotate
|
| Sun, 05 Apr 2009 19:21:51 +0100 |
chaieb |
fixed usage of rational constants
|
file |
diff |
annotate
|
| Mon, 09 Mar 2009 10:01:58 +0100 |
haftmann |
attempt to bypass spurious infix syntax problem on polyml/sun
|
file |
diff |
annotate
|
| Mon, 09 Feb 2009 16:57:10 +0000 |
chaieb |
Fixed theorem reference
|
file |
diff |
annotate
|
| Mon, 09 Feb 2009 16:43:52 +0000 |
chaieb |
A generic decision procedure for linear rea arithmetic and normed vector spaces
|
file |
diff |
annotate
|