weaken assumptions made by theorem-2 and asssoc-enough
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Wed, 26 Feb 2014 12:57:23 +0000 (13:57 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Wed, 26 Feb 2014 12:57:23 +0000 (13:57 +0100)
commitcdaf8389007f1272f05089b75abecf8d6aefb49e
treef6eca5c70377782cf7b3123351e7629946a70384
parentaad47e05ef1567285aca67b3c8030e36929703b4
weaken assumptions made by theorem-2 and asssoc-enough
Bidir.agda
Precond.agda