avoid useless repetition
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 17 Feb 2014 09:30:43 +0000 (10:30 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 17 Feb 2014 09:30:43 +0000 (10:30 +0100)
commit248dc87e7c282a56bcc13fc28701a572288bc3ec
treeed2cfd816af4eac83063041d92441d364b4ab639
parentf4e7869c1d203fcf406b01e34d6276adf49fb79a
avoid useless repetition
Bidir.agda