also parameterize Precond
authorHelmut Grohne <helmut@subdivi.de>
Mon, 22 Oct 2012 08:50:51 +0000 (10:50 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Mon, 22 Oct 2012 08:50:51 +0000 (10:50 +0200)
commite88e81ee531d8133bc0d32f86b416fa940b40395
treea10fb6b7b63ecf22ce9fbd7fa2cf00eec8068b44
parentb01b94ab91ece430e72ac315689e78dc6dc49ebf
also parameterize Precond

The import of CheckInsert was broken in previous commit.
Precond.agda