/goals/1.1/Mon May 10 18:24:19 1999//
/theory/1.1/Tue May 11 18:04:21 1999//
/.cvsignore/1.1/Fri May 14 07:38:55 1999//
/Makefile.am/1.2/Fri May 14 07:43:44 1999//
D
