Tue, 20 Apr 1999 14:32:48 +0200 | paulson | tidied | file | diff | annotate |
Fri, 16 Oct 1998 17:32:29 +0200 | nipkow | Mods because of: Installed trans_tac in solver of simpset(). | file | diff | annotate |
Mon, 21 Sep 1998 23:03:11 +0200 | oheimb | re-added mem and list_all | file | diff | annotate |
Fri, 03 Jul 1998 17:35:39 +0200 | wenzelm | stepping stones: Recdef, Main; | file | diff | annotate |