VPS in Dut

This commit is contained in:
aarne
2012-05-27 19:36:04 +00:00
parent 231f3ad571
commit ccf7ba8510
2 changed files with 74 additions and 0 deletions

View File

@@ -1,5 +1,7 @@
abstract ExtraDutAbs = Extra [
VPI,ListVPI,BaseVPI,ConsVPI,MkVPI,ComplVPIVV,ConjVPI,
VPS,ListVPS,BaseVPS,ConsVPS,ConjVPS,MkVPS,PredVPS,
Temp,Pol,S,NP,
VV,VP,Conj,IComp,ICompAP,IAdvAdv,Adv,AP,IAdv] **
{
--{