Wed, 18 May 2005 10:23:47 +0200 | paulson | consolidation and simplification | changeset | files |
Wed, 18 May 2005 06:29:42 +0200 | kleing | documented new thms_containing ('rewrites' still missing) | changeset | files |
Wed, 18 May 2005 00:13:19 +0200 | nipkow | documented new subst | changeset | files |