This commit is contained in:
aarne
2005-11-29 15:21:45 +00:00
parent fc495062fe
commit fa46831981
24 changed files with 323 additions and 23 deletions

View File

@@ -0,0 +1,13 @@
abstract Sequence = Cat ** {
fun
TwoS : S -> S -> SeqS ;
AddS : SeqS -> S -> SeqS ;
TwoAdv : Adv -> Adv -> SeqAdv ;
AddAdv : SeqAdv -> Adv -> SeqAdv ;
TwoNP : NP -> NP -> SeqNP ;
AddNP : SeqNP -> NP -> SeqNP ;
TwoAP : AP -> AP -> SeqAP ;
AddAP : SeqAP -> AP -> SeqAP ;
}