| 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 |
| Fri, 31 Aug 2007 23:17:22 +0200 | wenzelm | exported is_param; | changeset | files |
| Fri, 31 Aug 2007 23:17:20 +0200 | wenzelm | legacy_infer_term: ProofContext.mode_schematic; | changeset | files |