runHCisabelle.sh revision 293a4c712b5a1c6193302508213bb6245ffd1c26
#!/bin/sh --login
PATH=$PATH:/home/linux-bkb/bin
cd /local/home/maeder/haskell/CASL-lib/Calculi/Time
for i in *.thy
do
j=`basename $i .thy`
isabelle -q -e "use_thy \"$j\";print_depth 300;theory \"$j\";axioms_of it;quit();"
done