| Wed, 10 Jan 2001 17:21:31 +0100 | paulson | revisions e.g. images, transitive closure... | changeset | files |
| Wed, 10 Jan 2001 13:30:25 +0100 | nipkow | *** empty log message *** | changeset | files |
| Wed, 10 Jan 2001 12:53:50 +0100 | nipkow | *** empty log message *** | changeset | files |
| Wed, 10 Jan 2001 12:43:51 +0100 | paulson | case_tac on bools | changeset | files |
| Wed, 10 Jan 2001 12:43:40 +0100 | paulson | case_tac subgoals | changeset | files |
| Wed, 10 Jan 2001 11:16:38 +0100 | paulson | deleted the obsolete nat_neqE (and reformatting) | changeset | files |
| Wed, 10 Jan 2001 11:15:24 +0100 | paulson | deleted the obsolete nat_neqE | changeset | files |