Thu, 24 Mar 2005 16:34:15 +0100 | ballarin | Transitivity reasoner ignores types amenable to linear arithmetic. | changeset | files |
Thu, 24 Mar 2005 10:59:21 +0100 | paulson | COMMENT IN WRONG PLACE | changeset | files |
Wed, 23 Mar 2005 12:09:18 +0100 | paulson | replaced bool by a new datatype "bit" for binary numerals | changeset | files |