Lines Matching defs:one
21 \subsection{Each OWL DL-File is one Named Spec}
39 one theory in Hets and we have to split such a theory back into
49 to do so and use that one.
54 have a way to distingiush several named specs with one OWL DL file,
89 flattened into a set of named theories each resulting into one OWL
107 [don't know which one is better. Till] [Extendenting FORMULA seems
126 [I vote for 1. Perhaps having only one DL spec per library
130 imports become integrated into one abstract syntax. Klaus]
239 compound id with exactly one compound and two arguments: (1) a
282 ``literals'' in one of these. This specification will be called