Math to mathematical/Symbol

This commit is contained in:
aarne
2006-01-31 14:04:38 +00:00
parent 3f8ea1466b
commit 0f08827320
20 changed files with 31 additions and 30 deletions

View File

@@ -1,4 +1,4 @@
incomplete concrete DemonstrativeI of Demonstrative = Cat, TenseX **
incomplete concrete DemonstrativeI of Demonstrative = Cat **
open Prelude, Lang, ParamX, DemRes in {
lincat