Cross Reference: runisabelle.sh
xref
: /
hets
/
utils
/
nightly
/
runisabelle.sh
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
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