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 |
Fri, 11 Sep 1998 16:32:31 +0200 | paulson | tidied using locales | changeset | files |