Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
use existing Inttab;
authorwenzelm
Thu, 14 Jul 2005 19:28:20 +0200
changeset 16838 131ca99f6abf
parent 16837 416e86088931
child 16839 d7b47195ac7b
use existing Inttab;
src/HOL/Matrix/cplex/CplexMatrixConverter.ML file | annotate | diff | comparison | revisions
src/Pure/defs.ML file | annotate | diff | comparison | revisions 
--- 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 
--- a/src/Pure/defs.ML	Thu Jul 14 19:28:19 2005 +0200
+++ b/src/Pure/defs.ML	Thu Jul 14 19:28:20 2005 +0200
@@ -197,8 +197,6 @@
       NONE => false
     | _ => true
            
-structure Inttab = TableFun(type key = int val ord = int_ord);
-
 fun normalize_edge_idx (edge as (maxidx, u1, v1, history)) =
     if maxidx <= 1000000 then edge else
     let
isabelle