Lib.subtract

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-14