Searched refs:NAME (Results 1 - 7 of 7) sorted by relevance

/hets/utils/
H A Ddol2het.pl30 my $NAME = '\b[[:alpha:]_][[:alnum:]_]*\b';
43 ($NAME)? # optional prefix name
61 (?:($NAME):)? # optional prefix
82 ($NAME)> # the unprefixed name of the logic
/hets/CspCASL/Grammar/
H A DCspCaslSyntax.tex101 PROCESS-ITEM ::= PROCESS-NAME PROCESS-PROFILE
102 | PROCESS-NAME PROCESS-HEAD = PROCESS
103 | PROCESS-NAME = PROCESS
105 PROCESS-NAME ::= SORT-ID
174 PROCESS-SYMB ::= PROCESS-NAME
175 | ( process PROCESS-NAME PROCESS-PROFILE )
/hets/MMT/
H A Dhets-mmt-standalone.jarmain/main.jar .version OneJar.class OneJar.java package public OneJar extends java.lang ...
/hets/doc/
H A DLibraries.tex95 \gramindex{LIB-NAME} ::= LIB-ID | LIB-VERSION
H A DUserGuide.tex657 \I\SPEC \NAME{Strict\_Partial\_Order} =
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...
/hets/OWL2/java/lib/
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...

Completed in 28 milliseconds