| Fri, 16 Feb 1996 18:00:47 +0100 | paulson | Elimination of fully-functorial style. | file | diff | annotate |
| Fri, 15 Jul 1994 13:30:42 +0200 | clasohm | added check for concistency of filename and theory name; | file | diff | annotate |
| Wed, 01 Jun 1994 15:44:56 +0200 | wenzelm | interface for 'user sections'; | file | diff | annotate |