File: rewrite_rule_general_example.tex

package info (click to toggle)
kimwitu-doc 10a-1
  • links: PTS
  • area: main
  • in suites: woody
  • size: 1,192 kB
  • ctags: 341
  • sloc: makefile: 164; yacc: 125; ansic: 40; lex: 18; sh: 2
file content (4 lines) | stat: -rw-r--r-- 169 bytes parent folder | download | duplicates (3) 
1
2
3
4
 
% Remember to use the lgrind style

\File{rewrite\_rule\_general\_example.k},{12:19},{Feb 19 1997}
\L{\LB{\V{Neg}(\V{x})_\-\!\>_\<:__\V{Minus}(\V{Zero}(),_\V{x})__\>;}}