src/HOL/TLA/Action.thy
changeset 55382 9218fa411c15
parent 54742 7a86358a3c0b
child 56256 1e01c159e7d9
     1.1 --- a/src/HOL/TLA/Action.thy	Mon Feb 10 17:23:13 2014 +0100
     1.2 +++ b/src/HOL/TLA/Action.thy	Mon Feb 10 21:00:56 2014 +0100
     1.3 @@ -15,7 +15,7 @@
     1.4  type_synonym 'a trfun = "(state * state) => 'a"
     1.5  type_synonym action   = "bool trfun"
     1.6  
     1.7 -arities prod :: (world, world) world
     1.8 +instance prod :: (world, world) world ..
     1.9  
    1.10  consts
    1.11    (** abstract syntax **)