run.sh revision 895a60f3f11b5f1210f146324e9ffe5e1b9c211f
#!/bin/sh
run ()
{
cd $1
../../../ToHaskell/h2hf $1 *.hs
./runisabelle.sh >& log
fgrep '***' log
cvs diff -u log
cd ..
}
run HOL
\cp -f HOL/*.hs HOLCF/
run HOLCF