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 |