conv-theory-files.pl
1994-06-23 lcp 1994-06-23 Sara\'s perl script for renaming theory files