| Thu, 01 Jan 2009 17:47:12 +0100 | wenzelm | avoid implicit use of prems; | changeset | files |
| Thu, 01 Jan 2009 14:23:39 +0100 | wenzelm | Term.add_consts; | changeset | files |
| Thu, 01 Jan 2009 14:23:39 +0100 | wenzelm | eliminated OldTerm.(add_)term_consts; | changeset | files |
| Thu, 01 Jan 2009 14:23:39 +0100 | wenzelm | avoid polymorphic equality; | changeset | files |
| Thu, 01 Jan 2009 14:23:39 +0100 | wenzelm | eliminated OldTerm.(add_)term_consts; | changeset | files |
| Thu, 01 Jan 2009 14:23:38 +0100 | wenzelm | added canonical add_const_names, add_consts; | changeset | files |
| Thu, 01 Jan 2009 12:36:37 +0100 | wenzelm | provide structure CharVector; | changeset | files |
| Thu, 01 Jan 2009 12:00:36 +0100 | wenzelm | isabelle-process; | changeset | files |