| Fri, 13 Mar 2009 19:58:26 +0100 | wenzelm | unified type Proof.method and pervasive METHOD combinators; | file | diff | annotate |
| Thu, 22 Jun 2006 18:48:25 +0200 | ballarin | Removed debugging code. | file | diff | annotate |
| Tue, 20 Jun 2006 15:53:44 +0200 | ballarin | Restructured locales with predicates: import is now an interpretation. | file | diff | annotate |
| Sat, 17 Sep 2005 12:50:57 +0200 | wenzelm | plain test session, includes example; | file | diff | annotate |