| Wed, 20 Jun 2007 08:09:56 +0200 | nipkow | added meta_impE | file | diff | annotate |
| Fri, 11 May 2007 01:07:10 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Sat, 02 Dec 2006 14:59:25 +0100 | wenzelm | meta_term_syntax: proper operation on untyped preterms; | file | diff | annotate |
| Sat, 02 Dec 2006 02:52:07 +0100 | wenzelm | added some support for embedded terms; | file | diff | annotate |
| Tue, 19 Sep 2006 23:15:36 +0200 | wenzelm | revert to previous version; | file | diff | annotate |
| Tue, 19 Sep 2006 15:22:03 +0200 | haftmann | (void) | file | diff | annotate |
| Tue, 06 Jun 2006 20:47:12 +0200 | wenzelm | removed Toplevel.debug; | file | diff | annotate |