run.sh revision 52f21faa2887eff21f27e9a16669dd97216884ac
#!/bin/sh
../../hets -v2 -o thy *.het
../../utils/nightly/runisabelle.sh *.thy