VPS in Dut

2026-06-28 20:36:29 -06:00 · 2012-05-27 19:36:04 +00:00
parent 57c4d45378
commit ae9229fdc9
2 changed files with 74 additions and 0 deletions
@@ -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] ** 
 {
 --{