branch | decompose-isar |
changeset 41924 | 7407ceef2aed |
parent 41921 | d236572c99f2 |
child 41925 | d4a8c40594a3 |
1.1 --- a/src/Tools/isac/Knowledge/DiophantEq.thy Fri Mar 04 11:45:02 2011 +0100 1.2 +++ b/src/Tools/isac/Knowledge/DiophantEq.thy Thu Mar 10 12:45:58 2011 +0100 1.3 @@ -32,7 +32,7 @@ 1.4 1.5 ML {* 1.6 val subst = [(parseNEW ctxt "bdv::int", parseNEW ctxt "x::int")]; 1.7 -val t = parseNEW ctxt "x + 1 = (2::int)"; 1.8 +val t = parseNEW ctxt "x + y = (y::int)"; 1.9 *} 1.10 1.11 ML {*