Tue, 20 Apr 1999 14:32:48 +0200 | paulson | tidied | changeset | files |
Mon, 19 Apr 1999 17:53:38 +0200 | wenzelm | improved usage; | changeset | files |
Fri, 16 Apr 1999 18:52:03 +0200 | wenzelm | loadpath replaced; | changeset | files |
Fri, 16 Apr 1999 17:48:46 +0200 | wenzelm | and_list; | changeset | files |
Fri, 16 Apr 1999 17:48:31 +0200 | wenzelm | lifted enum; | changeset | files |
Fri, 16 Apr 1999 17:47:06 +0200 | wenzelm | may specify induction predicates as well; | changeset | files |