| Mon, 23 Mar 2009 08:14:23 +0100 | haftmann | tuned header | file | diff | annotate |
| Thu, 19 Mar 2009 01:29:19 -0700 | huffman | imported patch euclidean | file | diff | annotate |
| Thu, 12 Mar 2009 08:57:03 -0700 | huffman | remove trailing spaces | file | diff | annotate |
| Thu, 05 Mar 2009 08:24:28 +0100 | haftmann | merged | file | diff | annotate |
| Thu, 05 Mar 2009 08:23:11 +0100 | haftmann | set operations Int, Un, INTER, UNION, Inter, Union, empty, UNIV are now proper qualified constants with authentic syntax | file | diff | annotate |
| Wed, 04 Mar 2009 23:52:47 +0100 | wenzelm | removed old/broken CVS Ids; | file | diff | annotate |
| Fri, 13 Feb 2009 14:45:10 -0800 | huffman | section -> subsection | 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 |
| Mon, 09 Feb 2009 11:07:17 +0000 | chaieb | A formalization of finite cartesian product types | file | diff | annotate |