This commit is contained in:
aarne
2005-11-07 10:03:46 +00:00
parent 47d0a7f249
commit 2da3e66507
5 changed files with 30 additions and 10 deletions

View File

@@ -20,11 +20,12 @@ abstract Multimodal =
SentMS : Pol -> MS -> Phr ;
QuestMS : Pol -> MS -> Phr ;
QuestMQS : Pol -> MQS -> Phr ;
ImpMImp : Pol -> MImp -> Phr ;
-- Mount $Time$.
AdvDate : Date -> Adv ;
AdvTime : Time -> Adv ;
AdvDate : Date -> Adv ;
AdvTime : Time -> Adv ;
}