Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tidied
authorpaulson
Thu, 28 Oct 1999 16:04:57 +0200
changeset 7962 d139b03fcac2
parent 7961 422ac6888c7f
child 7963 e7beff82e1ba
tidied
src/HOL/UNITY/Alloc.thy file | annotate | diff | comparison | revisions 
--- 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)"
isabelle