Searched refs:print (Results 1 - 12 of 12) sorted by relevance
| /hets/OWL2/java/de/unibremen/informatik/locality/ |
| H A D | LocalityChecker.java | 39 // print();
41 System.out.print("Result: ");
66 System.out.print("Non-local axiom: ");
75 private static void print() { method in class:LocalityChecker
|
| /hets/Common/doc/ |
| H A D | Overview.tex | 33 print) various ids and annotations.
94 \item[Print\_AS\_Annotation.hs] pretty print annotations
|
| /hets/GMP/papers/conditional/ |
| H A D | entcs.cls | 762 \history@fmt % print history (received, ...)
769 \unvbox\t@abstract % print abstract, if any
774 \dedicated@fmt % print dedication
832 \title@fmt{\@title}{\title@notes}% % print the title
838 \subtitle@fmt{\@subtitle}{\title@notes} % print the title
1037 \ifx\@received\empty@data \else % If there is no \received, do not print anything
|
| /hets/GMP/papers/heterogenous/ |
| H A D | entcs.cls | 762 \history@fmt % print history (received, ...)
769 \unvbox\t@abstract % print abstract, if any
774 \dedicated@fmt % print dedication
832 \title@fmt{\@title}{\title@notes}% % print the title
838 \subtitle@fmt{\@subtitle}{\title@notes} % print the title
1037 \ifx\@received\empty@data \else % If there is no \received, do not print anything
|
| /hets/GMP/papers/optInWork/ |
| H A D | entcs.cls | 762 \history@fmt % print history (received, ...)
769 \unvbox\t@abstract % print abstract, if any
774 \dedicated@fmt % print dedication
832 \title@fmt{\@title}{\title@notes}% % print the title
838 \subtitle@fmt{\@subtitle}{\title@notes} % print the title
1037 \ifx\@received\empty@data \else % If there is no \received, do not print anything
|
| /hets/GMP/papers/optimizing/ |
| H A D | entcs.cls | 762 \history@fmt % print history (received, ...)
769 \unvbox\t@abstract % print abstract, if any
774 \dedicated@fmt % print dedication
832 \title@fmt{\@title}{\title@notes}% % print the title
838 \subtitle@fmt{\@subtitle}{\title@notes} % print the title
1037 \ifx\@received\empty@data \else % If there is no \received, do not print anything
|
| /hets/CASL/doc/ |
| H A D | CASLParserOverview.tex | 25 print) ``Basic Specification with Subsorts'' of the CASL Summary
|
| /hets/Isabelle/export/ |
| H A D | parser.ml | 820 (Path.print #> b ? (fn s => "("^s^")")) p) [];
848 let val b' = Binding.print b
|
| /hets/CASL/Termination/ |
| H A D | AProVE.jar | META-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ... |
| /hets/doc/ |
| H A D | hs2isa.tex | 1104 case, by straightforward simplification). The translation will print out
|
| H A D | UserGuide.tex | 1510 formats, like \texttt{pdf}, only pretty print specification and
|
| /hets/OWL2/java/lib/ |
| H A D | owlapi-osgidistribution-3.5.2.jar | META-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ... |
Completed in 74 milliseconds