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