diff options
Diffstat (limited to 'examples/phrasebook/Ontology.html')
| -rw-r--r-- | examples/phrasebook/Ontology.html | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/examples/phrasebook/Ontology.html b/examples/phrasebook/Ontology.html index 28b72fe63..f318ed68a 100644 --- a/examples/phrasebook/Ontology.html +++ b/examples/phrasebook/Ontology.html @@ -128,7 +128,6 @@ Determiners. NameNN : Name ; -- the name "NN" </pre> --- NameString : String -> Name ; ---- creates ambiguities with all words --% <pre> NNumeral : Numeral -> Number ; -- numeral in words, e.g. "twenty" </pre> @@ -144,7 +143,6 @@ structurally. However, these ones are mostly functorial. </pre> <h2> Words and idiomatic phrases of the Phrasebook</h2> -(c) 2009 Aarne Ranta under LGPL --% <pre> abstract Words = Sentences ** { |