show fromList-toList in the subst form
authorHelmut Grohne <helmut@subdivi.de>
Tue, 11 Sep 2012 21:36:41 +0000 (23:36 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Tue, 11 Sep 2012 21:36:41 +0000 (23:36 +0200)
commit585ebc3a11db7b6544817b6f527efcba48982d6c
treeeb0d08324afb0ee6ea23c420a79c65e3ed9c418f
parentd3f12c72cb10462ac5ebce3a8cda462c70bff3d9
show fromList-toList in the subst form

Thanks to Joachim Breitner for assisting and pointing to
proof-irrelevance.
LiftGet.agda