# HG changeset patch
# User paulson
# Date 941119497 -7200
# Node ID d139b03fcac29ab17903c287bd4b2fb8378f9059
# Parent  422ac6888c7ff2192351b287712f678a5aef6c77
tidied

diff -r 422ac6888c7f -r d139b03fcac2 src/HOL/UNITY/Alloc.thy
--- a/src/HOL/UNITY/Alloc.thy	Thu Oct 28 14:55:23 1999 +0200
+++ b/src/HOL/UNITY/Alloc.thy	Thu Oct 28 16:04:57 1999 +0200
@@ -161,8 +161,6 @@
 			      allocAsk = allocAsk s,
 			      allocRel = allocRel s,
 			      client   = y |)"
-(***    "sysOfAlloc == %(s,y). s(|client := y|)"  TYPE DOESN'T CHANGE***)
-
 
   sysOfClient :: "((nat => clientState) * allocState ) => systemState"
     "sysOfClient == %(x,y). sysOfAlloc(y,x)"