# HG changeset patch
# User Walther Neuper <walther.neuper@jku.at>
# Date 1602057762 -7200
# Node ID 3b1c95576911c8773ab1ebff2c804c3f5f5fdfdf
# Parent  6285d1b216ae7c7260933087c943e6680a7c4849
/----- finish update Isabelle2019 --> Isabelle2020 for Test_Isac_Short.thy

diff -r 6285d1b216ae -r 3b1c95576911 test/Tools/isac/Test_Isac_Short.thy
--- a/test/Tools/isac/Test_Isac_Short.thy	Wed Oct 07 09:57:35 2020 +0200
+++ b/test/Tools/isac/Test_Isac_Short.thy	Wed Oct 07 10:02:42 2020 +0200
@@ -311,7 +311,7 @@
   ML_file "Knowledge/polyminus.sml"
   ML_file "Knowledge/vect.sml"
   ML_file "Knowledge/diffapp.sml"        (* postponed to dev. specification | TP-prog. *)
-  ML_file "Knowledge/biegelinie-1.sml"
+  ML_file "Knowledge/biegelinie-1.sml" 
 (*ML_file "Knowledge/biegelinie-2.sml"                                          Test_Isac_Short*)
 (*ML_file "Knowledge/biegelinie-3.sml"                                          Test_Isac_Short*)
   ML_file "Knowledge/biegelinie-4.sml"