Fri, 01 Sep 2000 17:54:58 +0200 | wenzelm | GPLed; | file | diff | annotate |
Tue, 04 Nov 1997 09:27:32 +0100 | wenzelm | fixed set_current_thy pattern; | file | diff | annotate |
Mon, 03 Nov 1997 11:48:56 +0100 | wenzelm | fix references to implicit claset and simpset; | file | diff | annotate |