changeset 59424 | 406681ebe781 |
parent 59416 | 229e5c9cf78b |
child 59472 | 3e904f8ec16c |
1.1 --- a/src/Tools/isac/Knowledge/Equation.thy Sat Mar 31 10:30:17 2018 +0200 1.2 +++ b/src/Tools/isac/Knowledge/Equation.thy Tue Apr 03 14:50:58 2018 +0200 1.3 @@ -3,7 +3,7 @@ 1.4 (c) due to copyright terms 1.5 *) 1.6 1.7 -theory Equation imports Atools begin 1.8 +theory Equation imports Base_Tools begin 1.9 1.10 text {* univariate equations over terms : 1.11 In 2003 Richard Lang prototyped ISAC's equation solver while also alpha-testing