1.1 --- a/test/Tools/isac/Test_Isac.thy Thu Apr 22 16:21:23 2021 +0200
1.2 +++ b/test/Tools/isac/Test_Isac.thy Thu Apr 22 16:49:41 2021 +0200
1.3 @@ -347,8 +347,6 @@
1.4
1.5 section \<open>further tests additional to src/.. files\<close>
1.6 ML_file "BridgeLibisabelle/use-cases.sml"
1.7 - ML_file "$ISABELLE_ISAC_TEST/Tools/isac/ADDTESTS/libisabelle/mini-test.sml"
1.8 - ML_file "$ISABELLE_ISAC_TEST/Tools/isac/ADDTESTS/libisabelle/protocol.sml"
1.9
1.10 ML \<open>"%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%";\<close>
1.11 ML \<open>"%%%%%%%%%%%%%%%%% end Test_Isac %%%%%%%%%%%%%%%%%%%%%%%%";\<close>