changeset 60449 | 2406d378cede |
parent 60377 | 4f5f29fd0af9 |
child 60509 | 2e0b7ca391dc |
1.1 --- a/src/Tools/isac/Knowledge/DiophantEq.thy Wed Jun 01 13:39:41 2022 +0200 1.2 +++ b/src/Tools/isac/Knowledge/DiophantEq.thy Wed Jun 01 14:17:23 2022 +0200 1.3 @@ -15,7 +15,7 @@ 1.4 1.5 problem pbl_equ_dio : "diophantine/equation" = 1.6 \<open>Rule_Set.empty\<close> 1.7 - Method: "LinEq/solve_lineq_equation" 1.8 + Method_Ref: "LinEq/solve_lineq_equation" 1.9 CAS: "solve (e_e::bool, v_v::int)" 1.10 Given: "boolTestGiven e_e" "intTestGiven (v_v::int)" 1.11 (* TODO: drop ^^^^^*)