Mon, 14 Sep 1998 10:17:19 +0200 | paulson | new theorem le_diff_conv | changeset | files |
Fri, 11 Sep 1998 18:09:54 +0200 | paulson | Extra steps at end to make it run faster | changeset | files |
Fri, 11 Sep 1998 17:20:58 +0200 | oheimb | added clarsimp_tac and Clarsimp_tac | changeset | files |