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