Lines Matching defs:of
21 also tries to propose how to solve these issues. Most of these
24 which was not thought of during the development of \CASL and its
27 \section{Labels of instantiated formulas}
31 parametrised specifications point to different instantiations of these
39 op symbols in the signature of parameter specifications with their
65 \section{Quick indexing of (all) symbols in a theory}
70 complete mapping of all distinct ids of sorts, preds and / or ops to
76 symbol mappings of translations: \KW{indexed\_by} It could be used as