src/Tools/isac/Knowledge/Descript.thy
branchdecompose-isar
changeset 41921 d236572c99f2
parent 37965 9c11005c33b8
equal deleted inserted replaced
41919:c85b0a1916a5 41921:d236572c99f2
    35   solveFor       :: "real => una"
    35   solveFor       :: "real => una"
    36   differentiateFor:: "real => una"
    36   differentiateFor:: "real => una"
    37   unknown        :: "'a => unknow"
    37   unknown        :: "'a => unknow"
    38   valuesFor      :: "real list => toreall"
    38   valuesFor      :: "real list => toreall"
    39 
    39 
       
    40   intTestGiven   :: "int => una"
    40   realTestGiven  :: "real => una"
    41   realTestGiven  :: "real => una"
    41   realTestFind   :: "real => una"
    42   realTestFind   :: "real => una"
    42   boolTestGiven  :: "bool => una"
    43   boolTestGiven  :: "bool => una"
    43   boolTestFind   :: "bool => una"
    44   boolTestFind   :: "bool => una"
    44 
    45