changeset 60711 | 29ff4e97cad9 |
parent 60710 | 21ae85b023bb |
child 60712 | 8e882ca73d18 |
1.1 --- a/test/Tools/isac/Test_Isac_Short.thy Tue May 23 07:56:29 2023 +0200 1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy Tue May 23 08:34:53 2023 +0200 1.3 @@ -362,6 +362,7 @@ 1.4 ML_file "Knowledge/biegelinie-4.sml" 1.5 ML \<open> 1.6 \<close> ML \<open> 1.7 +\<close> ML \<open> 1.8 \<close> 1.9 ML_file "Knowledge/algein.sml" 1.10 ML \<open>