equal
deleted
inserted
replaced
22 functionEq :: "bool => una" (*6.5.03: functionTerm -> functionEq*) |
22 functionEq :: "bool => una" (*6.5.03: functionTerm -> functionEq*) |
23 antiDerivative :: "bool => una" |
23 antiDerivative :: "bool => una" |
24 functionOf :: "real => una" |
24 functionOf :: "real => una" |
25 (*functionTerm :: 'a => toreal 28.11.00*) |
25 (*functionTerm :: 'a => toreal 28.11.00*) |
26 functionTerm :: "real => una" (*6.5.03: functionTerm -> functionEq*) |
26 functionTerm :: "real => una" (*6.5.03: functionTerm -> functionEq*) |
|
27 functionName :: "real => una" |
27 interval :: "real set => una" |
28 interval :: "real set => una" |
28 maxArgument :: "bool => toreal" |
29 maxArgument :: "bool => toreal" |
29 maximum :: "real => toreal" |
30 maximum :: "real => toreal" |
30 |
31 |
31 relations :: "bool list => una" |
32 relations :: "bool list => una" |