Re-organised to perform the tests independently. Now test
is defined in terms of separate targets IMP, ex, etc. If ISABELLECOMP is set
wrongly then "exit 1" causes the Make to fail. Defines the macro "LOGIC" to
refer to the right command for running the object-logic. Uses "suffix
substitution" to shorten macro definitions.
#! /bin/sh
#rm-logfiles: remove useless files from subdirectories
rm log */make*.log */make*.log.gz
rm */test
find . -name '.*.thy.ML' -print -exec rm {} \;