| Thu, 01 Jan 2009 21:00:33 +0100 | wenzelm | crude adaption to intermediate class/locale version; | changeset | files |
| Thu, 01 Jan 2009 20:56:23 +0100 | wenzelm | crude adaption to new locales; | changeset | files |
| Thu, 01 Jan 2009 20:28:03 +0100 | wenzelm | avoid implicit prems -- tuned proofs; | changeset | files |
| 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 |
| Thu, 01 Jan 2009 10:42:48 +0100 | wenzelm | updated sessions; | changeset | files |
| Wed, 31 Dec 2008 20:59:00 +0100 | wenzelm | removed unused add_term_free_names; | changeset | files |
| Wed, 31 Dec 2008 20:31:36 +0100 | wenzelm | eliminated OldTerm.add_term_free_names; | changeset | files |
| Wed, 31 Dec 2008 19:56:38 +0100 | wenzelm | updated header; | changeset | files |