Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-09-03 20:18:06 -0700 (Wed, 03 Sep 2003)
Revision: 4924
Log message:
Added Jason's CADE system discription. I've added a link to the Springer's site
(with the PDF of Jason's paper), but no local electronic copies. Jason, do
you have any electronic copies we can put on files.metaprl.org?