Try to fix \index-ed `||` getting LaTeX confused
[haskell-report.git] / styles /
drwxr-xr-x   ..
-rw-r--r-- 2400 code.sty
-rw-r--r-- 4211 grammar.sty
-rw-r--r-- 9423 proof.sty