prove LiftGet.get-trafo-2-getlen
authorHelmut Grohne <helmut@subdivi.de>
Thu, 30 Aug 2012 14:50:21 +0000 (16:50 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 30 Aug 2012 14:50:21 +0000 (16:50 +0200)
commit22d4d452aaee82744c57f063b3416fd67df736c2
treea472f3c251049e27c3f6046bdd493861bec80384
parentd7dbd9ed445354479507e2889768dded86f901ac
prove LiftGet.get-trafo-2-getlen
LiftGet.agda