Changes between Version 7 and Version 8 of Capabilities

Timestamp:

2010-07-01T02:36:36Z (14 years ago)

Author:

davidsarah

Comment:

order of headings in derivation table

Capabilities

@@ -31 +31 @@
 derive #2 (but not the other way around). The full table is:
 
-  verify  write  read
-  -------------------
-            #1 ->  #2
-     #4 ->  #5 ->  #6
-            #7 ->  #8
-    #10 -> #11 -> #12
+  write   read  verify
+  --------------------
+           #1 ->  #2
+    #4 ->  #5 ->  #6
+           #7 ->  #8
+   #10 -> #11 -> #12
 
 Deriving a weaker capability from a strong one is called "diminishing" the stronger one.