1.1 --- a/src/Tools/isac/IsacKnowledge/Simplify.thy	Wed Aug 25 15:15:01 2010 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,29 +0,0 @@
     1.4 -(* simplification of terms
     1.5 -   author: Walther Neuper 050912
     1.6 -   (c) due to copyright terms
     1.7 -
     1.8 -remove_thy"Simplify";
     1.9 -use_thy"~/proto2/isac/src/sml/IsacKnowledge/Simplify";
    1.10 -
    1.11 -use_thy_only"~/proto2/isac/src/sml/IsacKnowledge/Simplify";
    1.12 -use_thy"~/proto2/isac/src/sml/IsacKnowledge/Isac";
    1.13 -*)
    1.14 -
    1.15 -Simplify = Atools +
    1.16 -
    1.17 -consts
    1.18 -
    1.19 -  (*descriptions in the related problem*)
    1.20 -  term        :: real => una
    1.21 -  normalform  :: real => una
    1.22 -
    1.23 -  (*the CAS-command*)
    1.24 -  Simplify    :: "real => real"  (*"Simplify (1+2a+3+4a)*)
    1.25 -  Vereinfache :: "real => real"  (*"Vereinfache (1+2a+3+4a)*)
    1.26 -
    1.27 -  (*Script-name*)
    1.28 -  SimplifyScript      :: "[real,  real] => real"
    1.29 -                  ("((Script SimplifyScript (_ =))// (_))" 9)
    1.30 -
    1.31 -
    1.32 -end
    1.33 \ No newline at end of file