simpdata.ML

--- a/simpdata.ML	Wed Dec 07 14:11:22 1994 +0100
+++ b/simpdata.ML	Wed Dec 07 14:12:27 1994 +0100
@@ -59,7 +59,7 @@
    "(P & False) = False", "(False & P) = False", "(P & P) = P",
    "(P | True) = True", "(True | P) = True", 
    "(P | False) = P", "(False | P) = P", "(P | P) = P",
-   "(!x.P) = P", "(? x.P) = P",
+   "(!x.P) = P", "(? x.P) = P", "(? x. x=t & P) = P",
    "(P|Q --> R) = ((P-->R)&(Q-->R))" ];
 
 in