run.sh revision 4ec7cab4c123781b80d5313b660ee71f1835fa91
#!/bin/sh
../../hets -v2 -A -o thy *.het
../../utils/nightly/runisabelle.sh *.thy
../../hets -l HasCASL -v2 -A -o thy *.het
../../utils/nightly/runisabelle.sh *.thy