more todoConstructors

This commit is contained in:
aarne
2007-05-31 14:33:58 +00:00
parent ad1af38d60
commit 9c1e6f49b3

View File

@@ -80,6 +80,8 @@ VP?
-- Comp: already eliminated
-- DConj /= Conj ?
--------------------------------------------
--- granted special cases
@@ -102,3 +104,9 @@ VP?
Num - Numeral | Digit | Int
ListX - X X
--------
open ResourceX, ParadigmsX in ...
ResourceX = ConstructorsX, StructuralX, CatX