changeset 59424 | 406681ebe781 |
parent 59416 | 229e5c9cf78b |
child 59429 | c0fe04973189 |
1.1 --- a/src/Tools/isac/Knowledge/Biegelinie.thy Sat Mar 31 10:30:17 2018 +0200 1.2 +++ b/src/Tools/isac/Knowledge/Biegelinie.thy Tue Apr 03 14:50:58 2018 +0200 1.3 @@ -4,7 +4,7 @@ 1.4 (c) due to copyright terms 1.5 *) 1.6 1.7 -theory Biegelinie imports Integrate Equation EqSystem Atools begin 1.8 +theory Biegelinie imports Integrate Equation EqSystem Base_Tools begin 1.9 1.10 consts 1.11