subtract : ''a list -> ''a list -> ''a list
STRUCTURE
SYNOPSIS
Computes the set-theoretic difference of two ‘sets’.
DESCRIPTION
Behaves exactly like set_diff.
SEEALSO
HOL  Trindemossen-1