| 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 |
| Fri, 02 Mar 2007 12:35:20 +0100 | paulson | The first-order test now tests for the obscure case of a polymorphic constant like 1 being | changeset | files |
| Wed, 28 Feb 2007 22:05:46 +0100 | wenzelm | abbrev: be permissive after transformation; | changeset | files |