| Thu, 30 Aug 2007 22:35:38 +0200 | wenzelm | replaced ProofContext.infer_types by general Syntax.check_terms; | changeset | files |
| Thu, 30 Aug 2007 22:35:34 +0200 | wenzelm | replaced ProofContext.infer_types by general Syntax.check_terms; | changeset | files |
| Thu, 30 Aug 2007 21:44:29 +0200 | nipkow | *** empty log message *** | changeset | files |
| Thu, 30 Aug 2007 21:43:31 +0200 | nipkow | added constant sgn | changeset | files |
| Thu, 30 Aug 2007 21:43:08 +0200 | nipkow | added lemma | changeset | files |
| Thu, 30 Aug 2007 17:09:02 +0200 | wenzelm | added some more entries; | changeset | files |
| Thu, 30 Aug 2007 15:04:50 +0200 | wenzelm | turned type_check into separate typ/term_check; | changeset | files |