changeset 16838 | 131ca99f6abf |
parent 16784 | 92ff7c903585 |
child 17261 | 193b84a70ca4 |
--- a/src/HOL/Matrix/cplex/CplexMatrixConverter.ML Thu Jul 14 19:28:19 2005 +0200 +++ b/src/HOL/Matrix/cplex/CplexMatrixConverter.ML Thu Jul 14 19:28:20 2005 +0200 @@ -49,8 +49,6 @@ exception Converter of string; -structure Inttab = TableFun(type key = int val ord = int_ord); - fun neg_term (cplexNeg t) = t | neg_term (cplexSum ts) = cplexSum (map neg_term ts) | neg_term t = cplexNeg t