branch | decompose-isar |
changeset 41926 | 460baed1d047 |
parent 41925 | d4a8c40594a3 |
child 41928 | 20138d6136cd |
1.1 --- a/src/Tools/isac/Knowledge/DiophantEq.thy Thu Mar 10 15:12:55 2011 +0100 1.2 +++ b/src/Tools/isac/Knowledge/DiophantEq.thy Thu Mar 10 15:16:13 2011 +0100 1.3 @@ -38,7 +38,7 @@ 1.4 ML {* 1.5 rewrite_inst_ thy e_rew_ord e_rls true subst (@{thm "int_isolate_add"}) t; 1.6 1.7 - 1.8 + 1.9 *} 1.10 1.11 ML {*