| Sun, 15 Mar 2009 15:59:44 +0100 | wenzelm | simplified attribute setup; | file | diff | annotate |
| Fri, 13 Mar 2009 19:58:26 +0100 | wenzelm | unified type Proof.method and pervasive METHOD combinators; | file | diff | annotate |
| Thu, 03 Jul 2008 17:47:22 +0200 | huffman | move nonstandard analysis theories to NSA directory | file | diff | annotate |