Convert an ASSERT into an AVER in INIT-LIVE-TNS
[sbcl.git] / PRINCIPLES
2000-09-18 William Harold NewmanInitial revision