blob: 8f67649a919fd190be487c9e7f3001909e0c2504 [file] [log] [blame]
(:*******************************************************:)
(: Test: K-NotFunc-2 :)
(: Written by: Frans Englich :)
(: Date: 2006-10-05T18:29:40+02:00 :)
(: Purpose: A test whose essence is: `not(1, 2, 3, 4, 5, 6)`. :)
(:*******************************************************:)
not(1, 2, 3, 4, 5, 6)