Wed, 16 Nov 2005 17:45:34 +0100 | wenzelm | added THEN_ALL_NEW_CASES; | file | diff | annotate |
Mon, 31 Oct 2005 16:00:15 +0100 | haftmann | fold_index replacing foldln | file | diff | annotate |
Sat, 15 Oct 2005 00:08:10 +0200 | wenzelm | export strip_params; | file | diff | annotate |
Tue, 13 Sep 2005 22:19:46 +0200 | wenzelm | added simple; | file | diff | annotate |
Mon, 29 Aug 2005 16:18:04 +0200 | wenzelm | use AList operations; | file | diff | annotate |
Sun, 28 Aug 2005 16:04:51 +0200 | wenzelm | unskolem local vars; | file | diff | annotate |
Thu, 18 Aug 2005 11:17:48 +0200 | wenzelm | added NO_CASES; | file | diff | annotate |