--- a/src/FOLP/FOLP.thy Fri Oct 10 15:52:12 1997 +0200
+++ b/src/FOLP/FOLP.thy Fri Oct 10 16:29:41 1997 +0200
@@ -10,5 +10,5 @@
consts
cla :: "[p=>p]=>p"
rules
- classical "(!!x.x:~P ==> f(x):P) ==> cla(f):P"
+ classical "(!!x. x:~P ==> f(x):P) ==> cla(f):P"
end