Lines Matching refs:casl
86 for i in Basic/*.casl; do ./hets -v2 -l HasCASL -o th,pp.het,pp.tex $i; done
97 for i in Basic/*.casl; do ./hets -v2 -o $outtypes $i; done
102 for i in Examples/*.casl CASL/*.casl; do ./hets -v2 $i; done
110 for i in *.casl; do ../hets -v2 -o th \
119 for i in UserManual/*.casl; do ./hets -v2 -o $outtypes $i; done
125 for i in Calculi/*/*.casl Calculi/*/*.het; do ./hets -v2 $i; done
127 Calculi/Algebra/RelationAlgebraSimple.casl
175 for i in Basic/*.casl;
207 for i in {Basic,UserManual}/*.casl
295 ../Hets/Syntax/hetpa Basic/LinearAlgebra_II.casl
306 cats -input=nobin -output=nobin -spec=gen_aterm Basic/SimpleDatatypes.casl
385 for i in Basic/*.casl;
391 for i in Basic/*.casl;
408 for i in Basic/*.casl;