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