This book is an incomplete draft. It is not yet the authoritative reference on svk. Be careful!
For SVK 1.04
(book compiled from Revision 120)
Copyright © 2005 Michael L.H. Brouwer, Russell Brown
This work is licensed under the Creative
Commons Attribution License. To view a copy of this license,
visit http://creativecommons.org/licenses/by/2.0/ or send a
letter to Creative Commons, 559 Nathan Abbott Way, Stanford,
California 94305, USA.