strip even more implementation detail in Precond
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Wed, 5 Feb 2014 14:54:54 +0000 (15:54 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Wed, 5 Feb 2014 14:54:54 +0000 (15:54 +0100)
commit5f11a53df7da1df3757cf8fd54652f78a50afbf0
treed059f5ef2c48f1821cfe6c2d966c7976d6114249
parent5f5d218d778d949da1c3cc6d227ddbb1f5bfeaf4
strip even more implementation detail in Precond
Precond.agda