| 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 |