Thu, 24 Mar 2005 17:03:37 +0100 | ballarin | Further work on interpretation commands. New command `interpret' for | changeset | files |
Thu, 24 Mar 2005 16:36:40 +0100 | ballarin | *** empty log message *** | changeset | files |
Thu, 24 Mar 2005 16:34:15 +0100 | ballarin | Transitivity reasoner ignores types amenable to linear arithmetic. | changeset | files |