src/HOL/SET_Protocol/Message_SET.thy
changeset 42463 f270e3e18be5
parent 41413 64cd30d6b0b8
child 42474 8b139b8ee366
     1.1 --- a/src/HOL/SET_Protocol/Message_SET.thy	Fri Apr 22 15:57:43 2011 +0200
     1.2 +++ b/src/HOL/SET_Protocol/Message_SET.thy	Sat Apr 23 13:00:19 2011 +0200
     1.3 @@ -32,8 +32,7 @@
     1.4  
     1.5  
     1.6  
     1.7 -types
     1.8 -  key = nat
     1.9 +type_synonym key = nat
    1.10  
    1.11  consts
    1.12    all_symmetric :: bool        --{*true if all keys are symmetric*}