1.1 --- a/src/Tools/isac/IsacKnowledge/Descript.thy Wed Aug 25 15:15:01 2010 +0200
1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
1.3 @@ -1,52 +0,0 @@
1.4 -(* Title: descriptions for items in model-patterns of problems and in method's
1.5 - guards
1.6 - Author: Walther Neuper 000301
1.7 - (c) due to copyright terms
1.8 - + see WN, Reactive User-Guidance ... Vers. Oct.2000 p.48 ff
1.9 -
1.10 -remove_thy"Descript";
1.11 -use_thy"IsacKnowledge/Descript";
1.12 -use_thy_only"IsacKnowledge/Descript";
1.13 -
1.14 -remove_thy"Typefix";
1.15 -use_thy"IsacKnowledge/Isac";
1.16 -*)
1.17 -
1.18 -theory Descript imports "../Scripts/Script" begin
1.19 -
1.20 -consts
1.21 -
1.22 - someList :: "'a list => unl" (*not for elementwise input, eg. inssort*)
1.23 -
1.24 - additionalRels :: "bool list => una"
1.25 - boundVariable :: "real => una"
1.26 -(*derivative :: 'a => toreal 28.11.00*)
1.27 - derivative :: "real => una"
1.28 - equalities :: "bool list => tobooll" (*WN071228 see fixedValues*)
1.29 - equality :: "bool => una"
1.30 - errorBound :: "bool => nam"
1.31 -
1.32 - fixedValues :: "bool list => nam"
1.33 - functionEq :: "bool => una" (*6.5.03: functionTerm -> functionEq*)
1.34 - antiDerivative :: "bool => una"
1.35 - functionOf :: "real => una"
1.36 -(*functionTerm :: 'a => toreal 28.11.00*)
1.37 - functionTerm :: "real => una" (*6.5.03: functionTerm -> functionEq*)
1.38 - interval :: "real set => una"
1.39 - maxArgument :: "bool => toreal"
1.40 - maximum :: "real => toreal"
1.41 -
1.42 - relations :: "bool list => una"
1.43 - solutions :: "bool list => toreall"
1.44 -(*solution :: bool => toreal WN0509 bool list=> toreall --->EqSystem*)
1.45 - solveFor :: "real => una"
1.46 - differentiateFor:: "real => una"
1.47 - unknown :: "'a => unknow"
1.48 - valuesFor :: "real list => toreall"
1.49 -
1.50 - realTestGiven :: "real => una"
1.51 - realTestFind :: "real => una"
1.52 - boolTestGiven :: "bool => una"
1.53 - boolTestFind :: "bool => una"
1.54 -
1.55 -end
1.56 \ No newline at end of file