changeset 60557 | 0be383bdb883 |
parent 60515 | 03e19793d81e |
child 60586 | 007ef64dbb08 |
1.1 --- a/src/Tools/isac/Knowledge/LinEq.thy Mon Sep 26 10:57:53 2022 +0200 1.2 +++ b/src/Tools/isac/Knowledge/LinEq.thy Thu Sep 29 18:02:10 2022 +0200 1.3 @@ -146,7 +146,6 @@ 1.4 Find: "solutions v_v'i'" 1.5 1.6 ML \<open> 1.7 - MethodC.from_store' @{theory} ["LinEq", "solve_lineq_equation"]; 1.8 \<close> ML \<open> 1.9 \<close> ML \<open> 1.10 \<close>