Cross Reference:
xref: /hets/Haskell/test/HOL/runisabelle.sh
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
runisabelle.sh revision a2b78df36b0b2ba38865f01a3dbee8965c059db4
967e5f3c25249c779575864692935627004d3f9eChristian Maeder#!/bin/sh -x
967e5f3c25249c779575864692935627004d3f9eChristian Maeder
81d182b21020b815887e9057959228546cf61b6bChristian Maederfor i in *.thy
f11f713bebd8e1e623a0a4361065df256033de47Christian Maederdo
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian Maeder j=`basename $i .thy`
967e5f3c25249c779575864692935627004d3f9eChristian Maeder isabelle -q -e "use_thy \"$j\";print_depth 300;theory \"$j\";axioms_of it;quit();"
3f69b6948966979163bdfe8331c38833d5d90ecdChristian Maederdone
967e5f3c25249c779575864692935627004d3f9eChristian Maeder

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