Searched defs:in (Results 1 - 11 of 11) sorted by relevance

/hets/CASL/doc/
H A DCASLParserOverview.tex22 \texttt{gmake capa} in the top directory.
44 given as \texttt{*.casl} files in the \texttt{test} subdirectory. Calling
56 ``\texttt{error}'' occurrences (in the produced output) is counted. For a
65 \texttt{cvs diff} changes can be compared to checked-in versions of the output
68 \section{Source files in \texttt{HetCATS/CASL}}
110 types in \texttt{Sign.hs}.
/hets/doc/
H A DLibraries.tex92 independently of their registration in the global directory.
116 for use in a path in a URI. An indirect link is interpreted as a URI
121 following the key words `\Gram{library}' and `\Gram{from}' in
148 \section{Proposal for implementation in the Heterogeneous Tool Set (\Hets)}
166 in \Hets:
185 suffice. Setting up an Apache server in order to be able to use cvsweb
197 (otherwise the first name in \texttt{path} it is interpreted as a hostname).
201 also be allowed as defining library name in a local library
207 \texttt{name} in pat
[all...]
H A Dcollected_proposals.tex23 contributed by people from LOA in Trento, Italy. But some are just deficiencies
30 parameters in the same specification all axiom labels from the
36 \paragraph{Proposed solution:} Treating underscores as seperators in
39 op symbols in the signature of parameter specifications with their
65 \section{Quick indexing of (all) symbols in a theory}
68 overlaps in their signatures such tthat for many sorts the same names
75 the sorts, preds or ops. this could be achieved by a new keyword in
77 in this example:
/hets/Common/doc/
H A DOverview.tex30 \texttt{gmake capa} in the top directory.
46 Test cases are given as \texttt{*.casl} or \texttt{*.annos} files in the
56 ``\texttt{error}'' occurrences (in the produced output) is counted. For a
65 \texttt{cvs diff} changes can be compared to checked-in versions of the output
68 The script \texttt{test/checkFunctions.sh} is reused in various other
71 \section{Source files in \texttt{HetCATS/Common}}
90 \item[ListBrackets.hs] parser for list brackets in list annotations
98 (reused in \texttt{HasCASL})
118 \texttt{consumeNothing}) and included in the \texttt{Common/Lib}
/hets/HasCASL/doc/
H A DStaticAna.tex19 The HasCASL parser reuses the token (in \texttt{HToken.hs}) and
20 \texttt{itemList} parser (in \texttt{ParseItem.hs}) from \texttt{CASL} as well
23 The abstract and concrete syntax of HasCASL are given in the summary
25 The data types in \texttt{As.hs} usually contain alternatives (Haskell
33 HasCASL entities are -- in hierarchical
54 \texttt{Type} (or \emph{star} in Haskell) and the builtin kind constructor
77 in HasCASL any class names are legal to indicate a more specific
80 Furthermore, classes in argument position may be marked as co- ($+$) or contra
97 with continuity), products (in $\times$ notation) and the lazy
101 ids, but in orde
[all...]
/hets/utils/el/
H A Dcasl-indent.el59 ;;; in which dealing with low-level events are different
68 ;; in Gnu Emacs
78 is not pushed twice in a row. Uses free var `indent-info'."
151 It is at the first character which is not in a comment after nearest
167 (while (and (casl-indent-in-comment start-code (point))
182 (defun casl-indent-in-comment (start end)
213 "Returns the type of the line (also puts information in `match-data')."
216 ((casl-indent-in-comment 1 (point)) 'comment)
224 ;; rhs ist in CASL nicht wichtig
353 (let ((comment-start (casl-indent-in
[all...]
/hets/OWL2/java/lib/
H A Dtrove4j-3.0.3.jarMETA-INF/ META-INF/MANIFEST.MF gnu/ gnu/trove/ gnu/trove/decorator/ gnu/trove/function/ gnu/ ...
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. ...
/hets/MMT/
H A Dhets-mmt-standalone.jarmain/main.jar .version OneJar.class OneJar.java package public OneJar extends java.lang ...
/hets/CASL/Termination/
H A DAProVE.jar ... help/html/contact/ aprove/help/html/faq/ aprove/help/html/in/ aprove/help/html/intro/ aprove/help/html/out/ aprove/help ...

Completed in 114 milliseconds