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