changeset 35354 | 2e8dc3c64430 |
parent 35318 | e1b61c5fd494 |
child 37678 | 0040bafffdef |
--- a/src/HOL/TLA/Action.thy Wed Feb 24 21:59:21 2010 +0100 +++ b/src/HOL/TLA/Action.thy Wed Feb 24 22:04:10 2010 +0100 @@ -33,7 +33,7 @@ syntax (* Syntax for writing action expressions in arbitrary contexts *) - "ACT" :: "lift => 'a" ("(ACT _)") + "_ACT" :: "lift => 'a" ("(ACT _)") "_before" :: "lift => lift" ("($_)" [100] 99) "_after" :: "lift => lift" ("(_$)" [100] 99)