| Fri, 16 Jul 1999 12:14:04 +0200 | berghofe | - Datatype package now also supports arbitrarily branching datatypes | file | diff | annotate |
| Wed, 17 Mar 1999 16:53:46 +0100 | wenzelm | Theory.sign_of; | file | diff | annotate |
| Tue, 12 Jan 1999 13:54:51 +0100 | wenzelm | eliminated tthm type and Attribute structure; | file | diff | annotate |
| Mon, 16 Nov 1998 11:14:02 +0100 | wenzelm | Attribute.tthms_of; | file | diff | annotate |
| Fri, 16 Oct 1998 18:54:55 +0200 | berghofe | - Changed structure of name spaces | file | diff | annotate |
| Fri, 24 Jul 1998 12:50:06 +0200 | berghofe | New datatype definition package | file | diff | annotate |