| Wed, 16 Jan 2002 23:19:34 +0100 | wenzelm | GPLed; | file | diff | annotate |
| Wed, 28 Nov 2001 00:46:26 +0100 | wenzelm | theory data: removed obsolete finish method; | file | diff | annotate |
| Fri, 09 Nov 2001 00:19:20 +0100 | wenzelm | theory data: finish method; | file | diff | annotate |
| Tue, 25 Jan 2000 22:28:48 +0100 | wenzelm | added map; | file | diff | annotate |
| Wed, 25 Aug 1999 17:11:42 +0200 | wenzelm | hide private parts; | file | diff | annotate |
| Fri, 30 Apr 1999 18:01:11 +0200 | wenzelm | theory data: copy; | file | diff | annotate |
| Tue, 13 Oct 1998 14:24:35 +0200 | wenzelm | PRIVATE sig parts; | file | diff | annotate |
| Mon, 08 Jun 1998 15:57:30 +0200 | wenzelm | Type-safe interface for theory data. | file | diff | annotate |