runHsIsabelle.sh revision 61ed8286ea9913a9a2a762ae33039f9a1965b8f3
#!/bin/sh
for i in $*
do
j=`basename $i .thy`
(cd `dirname $i`; isabelle -q -e "use_thy \"$j\";print_depth 300;theory \"$j\";axioms_of it;quit();" HOLCF)
done