Sun, 10 Oct 2010 23:16:24 +0200 | krauss | do not mention unqualified names, now that 'global' and 'local' are gone | changeset | files |
Sun, 10 Oct 2010 16:34:20 +0200 | nipkow | simplified proof | changeset | files |
Sun, 10 Oct 2010 18:42:13 +0700 | blanchet | avoid generating several formulas with the same name ("tfrees") | changeset | files |