Sat, 29 Mar 2008 22:55:49 +0100 | wenzelm | purely functional setup of claset/simpset/clasimpset; | file | diff | annotate |
Sun, 29 Jul 2007 14:29:59 +0200 | wenzelm | marked some CRITICAL sections; | file | diff | annotate |
Thu, 31 May 2007 14:01:58 +0200 | wenzelm | moved HOLCF tools to canonical place; | file | diff | annotate |