Searched refs:marked (Results 1 - 4 of 4) sorted by relevance
| /hets/HasCASL/doc/ | ||
| H A D | StaticAna.tex | 80 Furthermore, classes in argument position may be marked as co- ($+$) or contra |
| /hets/doc/ | ||
| H A D | UserGuide.tex | 1146 proven edges'' option, it is possible to re-display these links; they are marked 1178 the open theorem links (marked in red) will be reduced to local 1599 theorems that are imported from other specifications are marked with the |
| H A D | UserGuideCommonLogic.tex | 1220 theorems that are imported from other specifications are marked with the |
| /hets/CASL/Termination/ | ||
| H A D | AProVE.jar | META-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ... |
Completed in 39 milliseconds