This commit is contained in:
aarne
2005-11-29 15:21:45 +00:00
parent 3cd1317bda
commit dd70f6dce3
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 ;
}