there is no need to work with IsPreorder
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Tue, 28 Jan 2014 08:36:54 +0000 (09:36 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Tue, 28 Jan 2014 08:36:54 +0000 (09:36 +0100)
commit2a4ee38b0506121d52e259ae88a7b470cdac2206
tree19f008784385cb8989401e97b3ab0bdff4d56ce6
parentf767ec96fec169907da5cb5029852732cf333e7b
there is no need to work with IsPreorder
CheckInsert.agda