Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/more_thm.ML
changeset 23170 94e9413bd7fc
parent 23169 37091da05d8e
child 23491 c13ca04303de
equal deleted inserted replaced
23169:37091da05d8e 23170:94e9413bd7fc 
   190 
   190 
   191 open Thm;
 
   191 open Thm;
 
   192 
   192 
   193 end;
 
   193 end;
 
   194 
   194 
       
   195 val op aconvc = Thm.aconvc;
 
       
   196 
   195 structure Thmtab = TableFun(type key = thm val ord = Thm.thm_ord);
 
   197 structure Thmtab = TableFun(type key = thm val ord = Thm.thm_ord);
isabelle