1
0
forked from GitHub/gf-rgl

Math to mathematical/Symbol

This commit is contained in:
aarne
2006-01-31 14:04:38 +00:00
parent c74ebd70dd
commit d06a262c54
15 changed files with 22 additions and 21 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