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)
Michael L.H. Brouwer
Russell Brown
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.