Rob Dockins c0699e2d62 Change the fixity levels of (||) and (&&). ... This advances the next step in the plan described in issue #241.		2017-10-02 14:56:33 -07:00
..
Cryptol	Add class Zero with zero :: {a} (Zero a) => a.	2017-09-15 16:37:44 -07:00
Cryptol.cry	Change the fixity levels of (||) and (&&).	2017-10-02 14:56:33 -07:00
CryptolTC.z3	Add some axioms about width.	2017-07-10 16:59:03 -07:00