1.1 --- a/test/Tools/isac/Test_Isac.thy	Thu Mar 08 14:33:34 2012 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Sat Mar 10 09:41:09 2012 +0100
     1.3 @@ -22,7 +22,7 @@
     1.4    "../../Pure/Isar/Test_Parsers"
     1.5  (*"../../Pure/Isar/Pure/Isar/Struct_Deriv" update 2009-2-->2011*)
     1.6    "../../Pure/Isar/Test_Parse_Term"
     1.7 - 
     1.8 +
     1.9  uses 
    1.10    (         "library.sml")
    1.11    (         "calcelems.sml")
    1.12 @@ -174,7 +174,7 @@
    1.13    use "Knowledge/polyminus.sml"      (*part.*)
    1.14    use "Knowledge/vect.sml"
    1.15    use "Knowledge/diffapp.sml"        (*part.*)
    1.16 -  use "Knowledge/biegelinie.sml"     (*part.*)
    1.17 +  use "Knowledge/biegelinie.sml"
    1.18    use "Knowledge/algein.sml"
    1.19    use "Knowledge/diophanteq.sml"
    1.20    use "Knowledge/isac.sml"           (*part.*)