src/HOL/UNITY/Token.thy
changeset 5608 a82a038a3e7a
parent 5420 b48ab3281944
child 5648 fe887910e32e
     1.1 --- a/src/HOL/UNITY/Token.thy	Fri Oct 02 10:44:20 1998 +0200
     1.2 +++ b/src/HOL/UNITY/Token.thy	Fri Oct 02 14:28:39 1998 +0200
     1.3 @@ -43,7 +43,7 @@
     1.4    assumes
     1.5      N_positive "0<N"
     1.6  
     1.7 -    skip "id: acts"
     1.8 +    skip "Id: acts"
     1.9  
    1.10      TR2  "!!i. constrains acts (T i) (T i Un H i)"
    1.11