abbreviation(x1;x2) == (inl bv where bv from MaxAccept)
Definitions :
abbreviation: MaxAccept,
inl: inl x
abbreviation(x1;x2) == (inl bv where bv from MaxAccept)
Date html generated:
2010_08_30-AM-12_51_13
Last ObjectModification:
2010_08_18-PM-05_14_47
Home
Index