| 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 |
| Fri, 31 Aug 2007 23:17:25 +0200 | wenzelm | reject_vars: accept type-inference params; | changeset | files |