Mon, 27 Apr 1998 13:47:46 +0200 | paulson | New proof of apply_equality and new thm Pi_image_cons | changeset | files |
Fri, 24 Apr 1998 16:18:39 +0200 | oheimb | improved split_all_tac significantly | changeset | files |
Fri, 24 Apr 1998 16:16:29 +0200 | oheimb | improved keyboard modifiers | changeset | files |