Cross Reference:
xref: /hets/utils/nightly/linux/runisabelle.sh
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
runisabelle.sh revision f63542473cfd142d1d19f2abdf7f8b10679c9716
376eaf187c13c2a1eaea0ffbdd970b6b563ab74cPetr Cech#!/bin/sh
376eaf187c13c2a1eaea0ffbdd970b6b563ab74cPetr Cech
376eaf187c13c2a1eaea0ffbdd970b6b563ab74cPetr Cechfor i in $*
376eaf187c13c2a1eaea0ffbdd970b6b563ab74cPetr Cechdo
376eaf187c13c2a1eaea0ffbdd970b6b563ab74cPetr Cech j=`basename $i .thy`
376eaf187c13c2a1eaea0ffbdd970b6b563ab74cPetr Cech isabelle -q -e "use_thy \"$j\";print_depth 300;theory \"$j\";axioms_of it;quit();"
376eaf187c13c2a1eaea0ffbdd970b6b563ab74cPetr Cechdone
376eaf187c13c2a1eaea0ffbdd970b6b563ab74cPetr Cech

Indexes created Tue Jul 24 14:28:13 CEST 2018