Searched refs:variable (Results 1 - 12 of 12) sorted by relevance

/hets/ATC/doc/
H A DATC-Rule-Generation.tex52 in the variable \emph{genrule\_files} in the Makefile. All files in that variable will be seperated
56 This prospective filenames must be also added to the variable \emph{gendrifted\_files}. For example,
57 for the file name \emph{Commom/Named.hs} in the variable \emph{genrule\_files}, there must also be
58 the file name \emph{ATC/Named.hs} in the variable \emph{gendrifted\_files}.\\
59 It must be noted, that the order in the variable \emph{gendrifted\_files} is significant. So if
60 an instance file A imports an other instance file B, B must stand before A in the variable.
/hets/HolLight/OcamlTools/exportTools/
H A Dexport.ml4 with Not_found -> raise (EnvError (Printf.sprintf "Couldn't find env variable %s" env_var));;
/hets/HasCASL/doc/
H A DStaticAna.tex171 downset as within variable declarations.)
183 By variable declarations either type or value variables can be declared.
189 that not a type but a value variable is declared (most likely causing a type
217 let-expressions. Left-hand-side patterns add variable bindings that may
/hets/doc/
H A Dhs2isa.tex285 values of type $N$ must be variable (which always matches), and the
287 applied to this variable whereever the corresponding value of type
759 same type modulo variable renaming; 3) each type variable occurring in the
765 variable renaming, they are translated to projections of a new function of
1201 & v & \mbox{type \ variable}\\
1233 & v & \mbox{variable \ of \ datatype}\\
1247 & x & \mbox{variable} \\
1266 \mbox{have \ only \ one \ type \ variable}
1306 & x & \mbox{variable} \\
[all...]
H A DUserGuide.tex421 first-order logic. In order to use this logic the environment variable
429 calls Twelf on \verb+.elf+ files (for this, the environment variable
433 and therefore the environment variable \verb+LATIN_LIB+ must be set to the
710 Use \texttt{DIR} as a colon separated list of directories for specification libraries (equivalently, you can set the variable \texttt{HETS\_LIB} before
1722 through your \verb,$PATH, environment variable.
1865 from the \texttt{HETS\_REDUCE} environment variable.
1870 is needed to run Pellet. For the integration into \Hets the environment variable
1879 the environment variable \verb+HETS_OWL_TOOLS+ has to be set to the directory
H A DUserGuideCommonLogic.tex530 some place covered by your \texttt{PATH} environment variable. You also have to
605 Use \texttt{DIR} as a colon separated list of directories for specification libraries (equivalently, you can set the variable \texttt{HETS\_LIB} before
/hets/Maude/doc/
H A Ddg.tex93 %variable declarations in the same view and the target term is any term
H A Dmaude.tex435 with this operator with a variable as argument, and it is mapped to a term
/hets/CASL_DL/doc/
H A DCASL_DL-Notes.tex240 variable quantified over Thing or a subsort of it and (2) a number
/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 Dguava-18.0.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ...
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...

Completed in 87 milliseconds