1\DOC subtract
2
3\TYPE {subtract : ''a list -> ''a list -> ''a list}
4
5\SYNOPSIS
6Computes the set-theoretic difference of two `sets'.
7
8\DESCRIBE
9Behaves exactly like {set_diff}.
10
11\SEEALSO
12Lib.set_diff.
13\ENDDOC
14