Mercurial Mercurial > repos > isabelle / diff
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/HOL/NatBin.thy
changeset 24093 5d0ecd0c8f3c
parent 24075 366d4d234814
child 25481 aa16cd919dcc 
--- a/src/HOL/NatBin.thy	Tue Jul 31 19:40:23 2007 +0200
+++ b/src/HOL/NatBin.thy	Tue Jul 31 19:40:24 2007 +0200
@@ -656,7 +656,7 @@
 val numeral_ss = simpset() addsimps numerals;
 
 val nat_bin_arith_setup =
- Fast_Arith.map_data
+ LinArith.map_data
    (fn {add_mono_thms, mult_mono_thms, inj_thms, lessD, neqE, simpset} =>
      {add_mono_thms = add_mono_thms, mult_mono_thms = mult_mono_thms,
       inj_thms = inj_thms,
isabelle