lib/scripts/fixclasimp.pl
Fri, 01 Sep 2000 17:54:58 +0200 wenzelm GPLed;
Tue, 04 Nov 1997 09:27:32 +0100 wenzelm fixed set_current_thy pattern;
Mon, 03 Nov 1997 11:48:56 +0100 wenzelm fix references to implicit claset and simpset;
less more (0) tip