Wed, 10 Jan 2001 11:00:17 +0100 | paulson | fixed the treatment of Rules and Sets | changeset | files |
Wed, 10 Jan 2001 10:40:34 +0100 | nipkow | *** empty log message *** | changeset | files |
Wed, 10 Jan 2001 00:15:33 +0100 | wenzelm | use \<acute>; | changeset | files |