src/HOL/TLA/TLA.thy
changeset 35068 544867142ea4
parent 30528 7173bf123335
child 35108 e384e27c229f
     1.1 --- a/src/HOL/TLA/TLA.thy	Wed Feb 10 00:45:16 2010 +0100
     1.2 +++ b/src/HOL/TLA/TLA.thy	Wed Feb 10 00:46:56 2010 +0100
     1.3 @@ -37,12 +37,12 @@
     1.4    "_AAll"    :: "[idts, lift] => lift"                ("(3AALL _./ _)" [0,10] 10)
     1.5  
     1.6  translations
     1.7 -  "_Box"      ==   "Box"
     1.8 -  "_Dmd"      ==   "Dmd"
     1.9 -  "_leadsto"  ==   "leadsto"
    1.10 -  "_stable"   ==   "Stable"
    1.11 -  "_WF"       ==   "WF"
    1.12 -  "_SF"       ==   "SF"
    1.13 +  "_Box"      ==   "CONST Box"
    1.14 +  "_Dmd"      ==   "CONST Dmd"
    1.15 +  "_leadsto"  ==   "CONST leadsto"
    1.16 +  "_stable"   ==   "CONST Stable"
    1.17 +  "_WF"       ==   "CONST WF"
    1.18 +  "_SF"       ==   "CONST SF"
    1.19    "_EEx v A"  ==   "Eex v. A"
    1.20    "_AAll v A" ==   "Aall v. A"
    1.21