next up previous contents index
Next: Do loops Up: Layout Rules Previous: If-then-elses   Contents   Index

Disjunctions

Disjunctions should be formatted in a similar way. Example: 

(
        goal1
;
        goal2
).


Warwick Harvey
2004-08-07