mv ASSUMPCA.C assumpca.c
mv ASSUMPEL.C assumpel.c
mv ASSUMPTI.C assumpti.c
mv FORMULA.C formula.c
mv FORMULAE.C formulae.c
mv FORMULAL.C formulal.c
mv FORMULAR.C formular.c
mv G.H g.h
mv PROOF.C proof.c
mv PROOF.H proof.h
mv PROOF2.C proof2.c
mv PROOFEVA.C proofeva.c
mv PROOFFUN.C prooffun.c
mv PROOFPRE.C proofpre.c
mv PROOFREW.C proofrew.c
mv PROOFRUL.C proofrul.c
mv PROOFSET.C proofset.C
mv SENTCALL.C sentcall.c
mv SENTELEM.C sentelem.c
mv SENTENCE.C sentence.c
mv SENTENCE.H sentence.h
mv SENTLOOP.C sentloop.c
mv SENTPROC.C sentproc.c
mv TERM.H term.h
mv TERMASSI.C termassi.c
mv TERMCOPY.C termcopy.c
mv TERMRW.C termrw.c
mv TERMSUBS.C termsubs.c
mv TESTLOG.C testlog.c
mv TESTUTIL.C testutil.c
mv W.H w.h
mv WASKINV.C waskinv.c
mv WASSUMP.C wassump.c
mv WCREATE.C wcreate.c
mv WDIALOG.C wdialog.c
mv WEXPAND.C wexpand.c
mv WINIT.C winit.c
mv WMAIN.C wmain.c
mv WMAINBOX.C wmainbox.c
mv WPOPUP.C wpopup.c
mv WPOST.C wpost.c
mv WSELECT.C wselect.c
mv WSENTENC.C wsentenc.c
mv WSTART.C wstart.c
mv WUTIL.C wutil.c
mv WUTILPOS.C wutilpos.c
mv ZASSUMP.C zassump.c
mv ZPROOF.C zproof.c
mv ZSENT.C zsent.c
mv ZSUBST.C zsubst.c
