Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-19 12:51:11 -0700 (Sat, 19 Jun 2004)
Revision: 5949
Log message:
Since basic shell commands no longer live in Shell, the theories that used
to "extends Shell" now need to "extand Shell_theory" (or Shell_commands).