checking in copy of clean checkout of relevant parts of /usr/groups/netsem CVS repo
Merge branch 'master' of github.com:PeterSewell/netsem