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