cleanup unused function and import
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Tue, 28 Jan 2014 08:16:26 +0000 (09:16 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Tue, 28 Jan 2014 08:16:26 +0000 (09:16 +0100)
commit8cc43c2c7e5ab40394a1e6a23470edb3d2d6b909
tree563cd32156d9fd7eb63c072698b4608b14d64cf9
parent09cf8a92e03a4cebffdf9bb58aaf1b01b55e73a3
cleanup unused function and import
Bidir.agda