| Tue, 12 Jan 1999 13:40:08 +0100 | wenzelm | eliminated tthm type and Attribute structure; | file | diff | annotate |
| Tue, 17 Nov 1998 14:11:38 +0100 | wenzelm | exception ATTRIB_FAIL; | file | diff | annotate |
| Mon, 16 Nov 1998 11:32:54 +0100 | wenzelm | made SML/NJ happy; | file | diff | annotate |
| Mon, 16 Nov 1998 11:03:35 +0100 | wenzelm | several args parsers; | file | diff | annotate |
| Mon, 09 Nov 1998 15:32:20 +0100 | wenzelm | Symbolic theorem attributes. | file | diff | annotate |