1.1 --- a/src/Tools/isac/Calculation.thy	Tue May 31 09:16:12 2022 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,18 +0,0 @@
     1.4 -(*  Title:      src/Tools/isac/BridgeJEdit/Calculation.thy
     1.5 -    Author:     Walther Neuper, JKU Linz
     1.6 -    (c) due to copyright terms
     1.7 -
     1.8 -Outer syntax for Isabelle/Isac's Calculation.
     1.9 -Second trial following Makarius' definition of "problem", "method", etc
    1.10 -already existing in this repository.
    1.11 -*)
    1.12 -
    1.13 -theory Calculation
    1.14 -imports
    1.15 -(** )"$ISABELLE_ISAC/Knowledge/Build_Thydata"   ( *remove after devel.of BridgeJEdit*)
    1.16 -(**)"$ISABELLE_ISAC/Knowledge/Build_Thydata"   (*remove after devel.of BridgeJEdit*)
    1.17 -(**)"$ISABELLE_ISAC/MathEngine/MathEngine"
    1.18 -
    1.19 -begin
    1.20 -
    1.21 -end
    1.22 \ No newline at end of file