| Thu, 08 Nov 2007 14:51:30 +0100 | wenzelm | renamed ProofContext.read_const' to ProofContext.read_const_proper; | changeset | files |
| Thu, 08 Nov 2007 14:51:29 +0100 | wenzelm | synchronize_syntax: improved declare_const (still inactive); | changeset | files |
| Thu, 08 Nov 2007 14:51:28 +0100 | wenzelm | added const_proper; | changeset | files |