A Datastructure for Iterated Powers
the Coq vernacular file
BshnFinal.v
with the implementation
the documentation generated from
coqdoc
the index of all Coq elements in
BshnFinal.v
The current version of
BshnFinal.v
is 1.13 (April 16, 2006).
There is also a version
BshnFinal81.v
for use with Coq V8.1 pl2 (October 23, 2007).
Ralph Matthes
Last modified: Tue Oct 23 14:56:56 CEST 2007