1.1 --- a/src/Tools/isac/BridgeJEdit/SPARK_FDL.thy Tue Apr 20 17:21:08 2021 +0200
1.2 +++ b/src/Tools/isac/BridgeJEdit/SPARK_FDL.thy Tue Apr 20 21:31:00 2021 +0200
1.3 @@ -1,5 +1,5 @@
1.4 theory SPARK_FDL
1.5 - imports Main
1.6 + imports Complex_Main
1.7 begin
1.8
1.9 ML_file fdl_lexer.ML