lambda-delta/toplevel: improved transformation from automath (20 secs gained)

[helm.git] / helm / software / components / binaries / transcript / v8Parser.mly

diff --git a/helm/software/components/binaries/transcript/v8Parser.mly b/helm/software/components/binaries/transcript/v8Parser.mly
index 721cdd14109f1b3dcd21dfa7f98c07f0e15bc819..8bba4fb0bbb33d30e4ebcd5ffc2e804506d1e432 100644 (file)
--- a/helm/software/components/binaries/transcript/v8Parser.mly
+++ b/helm/software/components/binaries/transcript/v8Parser.mly
@@ -100,10 +100,7 @@
    ind: IND spcs { $1 ^ $2 };
    set: SET spcs { $1 ^ $2 };
    notation: NOT spcs { $1 ^ $2 };
-   oc: OC spcs { $1 ^ $2 };
-   coe: COE spcs { $1 ^ $2 };
    cn: CN spcs { $1 ^ $2 };
-   sc: SC spcs { $1 ^ $2 };
    str: STR spcs { $1 ^ $2 };
    id: ID spcs { $1 ^ $2 };
    coerc: COERC spcs { $1 ^ $2 };
@@ -372,6 +369,10 @@
 
 
 /*
+   oc: OC spcs { $1 ^ $2 };
+   coe: COE spcs { $1 ^ $2 };
+   sc: SC spcs { $1 ^ $2 };
+
    cnot:
       | EXTRA { $1 }
       | INT   { $1 }