Changes

Jump to navigation Jump to search
Line 636: Line 636:     
<pre>
 
<pre>
  ⊨ APPLYTOKEYS
+
  ⊨     APPLYTOKEYS
  ⊕ CHAIN OR PIPE FUNCTIONS
+
  ⊕     CHAIN OR PIPE FUNCTIONS
 
</pre>
 
</pre>
       
[[ Z3 | << Back to Z3 home ]]
 
[[ Z3 | << Back to Z3 home ]]
2,824

edits

Navigation menu