| Sat, 01 Sep 2007 15:47:03 +0200 | wenzelm | replaced ProofContext.cert_term/prop by general Syntax.check_term/prop (which also includes type-inference); | changeset | files |
| Sat, 01 Sep 2007 15:47:01 +0200 | wenzelm | replaced ProofContext.read_term/prop by general Syntax.read_term/prop; | changeset | files |
| Sat, 01 Sep 2007 15:46:59 +0200 | wenzelm | replaced ProofContext.read_term/prop by general Syntax.read_term/prop; | changeset | files |
| Sat, 01 Sep 2007 01:22:11 +0200 | nipkow | *** empty log message *** | changeset | files |