Mon, 27 May 2002 17:20:16 +0200 | nipkow | *** empty log message *** | changeset | files |
Fri, 24 May 2002 16:56:25 +0200 | paulson | tidied; stronger lemmas about functions | changeset | files |
Fri, 24 May 2002 16:55:46 +0200 | paulson | strong lemmas about functions | changeset | files |