1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/src/Tools/isac/Knowledge/Simplify.thy Wed Aug 25 16:20:07 2010 +0200
1.3 @@ -0,0 +1,29 @@
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/Knowledge/Simplify";
1.10 +
1.11 +use_thy_only"~/proto2/isac/src/sml/Knowledge/Simplify";
1.12 +use_thy"~/proto2/isac/src/sml/Knowledge/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