This page has moved to
../docs/Bare-Def.html
.