Mon, 22 Jan 2018 15:06:38 +0100 | Lars Hupel | repair malformed fundef_cong rule | changeset | files |
Mon, 22 Jan 2018 15:25:46 +0100 | nipkow | removed duplicate | changeset | files |
Mon, 22 Jan 2018 11:23:42 +0100 | wenzelm | tuned message: same error may occur in different contexts; | changeset | files |