minor simplifications
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 21 Feb 2014 10:04:44 +0000 (11:04 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 21 Feb 2014 10:04:44 +0000 (11:04 +0100)
commit9f469bf87f42db9de952d6f2b4418acf0895f795
treeac730a8551771539c18e2698ad075f555ea3c584
parent74b5de7627a5cce88c63d671ecbe111a7f45e7f4
minor simplifications
Bidir.agda