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 |