| 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 |
| Thu, 01 Jan 2009 10:42:48 +0100 | wenzelm | updated sessions; | changeset | files |