1.1 --- a/src/HOL/UNITY/Alloc.thy	Thu Oct 28 14:55:23 1999 +0200
     1.2 +++ b/src/HOL/UNITY/Alloc.thy	Thu Oct 28 16:04:57 1999 +0200
     1.3 @@ -161,8 +161,6 @@
     1.4  			      allocAsk = allocAsk s,
     1.5  			      allocRel = allocRel s,
     1.6  			      client   = y |)"
     1.7 -(***    "sysOfAlloc == %(s,y). s(|client := y|)"  TYPE DOESN'T CHANGE***)
     1.8 -
     1.9  
    1.10    sysOfClient :: "((nat => clientState) * allocState ) => systemState"
    1.11      "sysOfClient == %(x,y). sysOfAlloc(y,x)"