
diff -r 067d4e3ac358 -r 15775bd26979 src/Tools/isac/Build_Isac.thy
--- a/src/Tools/isac/Build_Isac.thy	Thu Sep 09 13:39:30 2010 +0200
+++ b/src/Tools/isac/Build_Isac.thy	Fri Sep 10 10:36:41 2010 +0200
@@ -83,8 +83,8 @@
 use_thy "Knowledge/Integrate"
 use_thy "Knowledge/EqSystem"
 use_thy "Knowledge/Biegelinie"
-
 use_thy "Knowledge/AlgEin"
+use_thy "Knowledge/Test"
 
 ML {* 111;
 *}
@@ -92,7 +92,6 @@
 
 text {*------------------------------------------*}
 (*
-use_thy "Knowledge/Test"
 use_thy "Knowledge/Isac"
 *)
 end




