proofEngine.cmo logicalOperations.cmo \
disambiguate.cmo termEditor.cmo texTermEditor.cmo termViewer.cmo \
invokeTactics.cmo hbugs.cmo gTopLevel.cmo
proofEngine.cmo logicalOperations.cmo \
disambiguate.cmo termEditor.cmo texTermEditor.cmo termViewer.cmo \
invokeTactics.cmo hbugs.cmo gTopLevel.cmo