Searched refs:TRANS (Results 1 - 4 of 4) sorted by relevance

/hets/Isabelle/export/
H A Dtest_parser.sh25 if ! export TRANS=$(path $1); then
30 TRANS_T=$(basename $TRANS .thy)
31 TRANS=$(dirname $TRANS)/$TRANS_T
33 if [ ! -r $TRANS.thy ]; then
34 echo "Cannot read file $TRANS.thy"
78 val s = File.read (Path.explode \"$TRANS.thy\");
H A Dexport.sh31 if ! export TRANS=$(path $1); then
36 TRANS_T=$(basename $TRANS .thy)
37 TRANS=$(dirname $TRANS)/$TRANS_T
39 if [ ! -r $TRANS.thy ]; then
40 echo "v0:Cannot read file $TRANS.thy" > $COMM_FILE
47 OUT_FILE="$TRANS.isa"
103 val thys = Export.xml_of_theory v \"$TRANS.thy\"
/hets/doc/
H A DUserGuideCommonLogic.tex1567 \item[\texttt{-t TRANS}, \texttt{-{}-translation=TRANS}]
1568 chooses a translation option. \texttt{TRANS} is a colon-separated list
H A DUserGuide.tex1448 \item[\texttt{-t TRANS}, \texttt{--translation=TRANS}]
1449 chooses a translation option. \texttt{TRANS} is a colon-separated list

Completed in 1657 milliseconds