Fri, 18 Sep 1998 14:36:36 +0200 | paulson | tidying | changeset | files |
Fri, 18 Sep 1998 14:36:03 +0200 | paulson | theorem le_diff_conv2; tidying and expandshort | changeset | files |
Fri, 18 Sep 1998 14:34:06 +0200 | paulson | Pruning of parameters and True assumptions | changeset | files |