| Fri, 02 Mar 2007 15:43:15 +0100 | haftmann | prefix of class interpretation not mandatory any longer | changeset | files |
| Fri, 02 Mar 2007 12:38:58 +0100 | paulson | Meson.is_fol_term now takes a theory as argument. Minor tidying. | changeset | files |
| Fri, 02 Mar 2007 12:37:34 +0100 | paulson | New code to store theorem names in a concise form rather than as fully-qualified. | changeset | files |