src/Tools/isac/IsacKnowledge/Simplify.thy
author Walther Neuper <neuper@ist.tugraz.at>
Thu, 12 Aug 2010 11:02:32 +0200
branchisac-update-Isa09-2
changeset 37906 e2b23ba9df13
permissions -rw-r--r--
moved isac + test to final dire-structure
     1 (* simplification of terms
     2    author: Walther Neuper 050912
     3    (c) due to copyright terms
     4 
     5 remove_thy"Simplify";
     6 use_thy"~/proto2/isac/src/sml/IsacKnowledge/Simplify";
     7 
     8 use_thy_only"~/proto2/isac/src/sml/IsacKnowledge/Simplify";
     9 use_thy"~/proto2/isac/src/sml/IsacKnowledge/Isac";
    10 *)
    11 
    12 Simplify = Atools +
    13 
    14 consts
    15 
    16   (*descriptions in the related problem*)
    17   term        :: real => una
    18   normalform  :: real => una
    19 
    20   (*the CAS-command*)
    21   Simplify    :: "real => real"  (*"Simplify (1+2a+3+4a)*)
    22   Vereinfache :: "real => real"  (*"Vereinfache (1+2a+3+4a)*)
    23 
    24   (*Script-name*)
    25   SimplifyScript      :: "[real,  real] => real"
    26                   ("((Script SimplifyScript (_ =))// (_))" 9)
    27 
    28 
    29 end