Cross Reference:
xref
: /
sssd
/
src
/
sss_client
/
nfs
/
mod_ssl.c
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
runHsIsabelle.sh revision 293a4c712b5a1c6193302508213bb6245ffd1c26
#!/
bin
/
sh
-x
#PATH=$PATH:/
home
/
linux-bkb
/
bin
cd
/
local
/
home
/
maeder
/
haskell
/
HetCATS
/
Haskell
/
test
/
HOLCF
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