un-inline different-drop
authorHelmut Grohne <helmut@subdivi.de>
Fri, 14 Dec 2012 11:03:04 +0000 (12:03 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Fri, 14 Dec 2012 11:03:04 +0000 (12:03 +0100)
commit06e16ec6a913f216ef43a3a32e7094c6e83d40ef
tree22db8656f3e50a7762dfa0b66f2f730db1aade72
parentd39092a7bfe8180b5928aff7ec783de3c48b62f4
un-inline different-drop
Precond.agda