import [_] instead of Reveal_is_
authorHelmut Grohne <helmut@subdivi.de>
Wed, 26 Sep 2012 13:35:32 +0000 (15:35 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Wed, 26 Sep 2012 13:35:32 +0000 (15:35 +0200)
commitc1d4b4bd8d8c785a4745cb8be5d2b6094bd38def
treefee40f7c1de57058f81995733deb414ae4380b07
parent01273a8a6109d9e45c9c24b6049c63f8321de403
import [_] instead of Reveal_is_

This makes things a little shorter and more readable.
Bidir.agda
CheckInsert.agda