| Sat, 04 Apr 1998 14:27:11 +0200 | wenzelm | tuned fail; | file | diff | annotate |
| Sat, 04 Apr 1998 12:26:47 +0200 | wenzelm | type_error; | file | diff | annotate |
| Sat, 04 Apr 1998 11:43:39 +0200 | wenzelm | removed simple; | file | diff | annotate |
| Fri, 03 Apr 1998 14:35:39 +0200 | wenzelm | Theorem tags and attributes. | file | diff | annotate |