| 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 |