| Sat, 01 Sep 2007 15:47:04 +0200 | wenzelm | removed obsolete read/cert variations (cf. Syntax.read/check); | changeset | files |
| 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 |
| Sat, 01 Sep 2007 01:21:48 +0200 | nipkow | final(?) iteration of sgn saga. | changeset | files |