Thu, 18 Mar 1999 16:44:53 +0100 | nipkow | * New bounded quantifier syntax (input only): | changeset | files |
Thu, 18 Mar 1999 16:42:34 +0100 | nipkow | New bounded quantifier syntax: !x<i. P etc | changeset | files |
Thu, 18 Mar 1999 11:19:03 +0100 | paulson | added new theory Yahalom_Bad | changeset | files |