#!/bin/sh
for i in $*
do
j=`basename $i .thy`
( cd `dirname $i`; \
echo " use_thy \"$j\"; quit();" \
| isabelle_process )
done