reduce usage of sym
authorHelmut Grohne <helmut@subdivi.de>
Thu, 26 Jan 2012 14:22:09 +0000 (15:22 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 26 Jan 2012 14:22:09 +0000 (15:22 +0100)
commit258c1c6a780fcffaf34cfe01ccb1175de1d5b341
tree5bc5e3e314cfb66670208aa9f8282d941d6f69a2
parent8b45125422a2b737ff660c798e00de073983f2cc
reduce usage of sym

Try to always construct statements of the form
  complex expression \== simple expression.
Bidir.agda