runisabelle.sh revision 83456de6c50dfdc7464ea1c74bf81836c702db2f
#!/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