1.1 --- a/src/Tools/isac/Knowledge/Test.thy	Wed Sep 08 17:17:29 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Test.thy	Wed Sep 08 17:20:03 2010 +0200
     1.3 @@ -549,7 +549,7 @@
     1.4   (prep_pbt thy
     1.5   (["thy"],
     1.6    [("#Given" ,"boolTestGiven g_"),
     1.7 -   ("#Find"  ,"boolTestFind f_")
     1.8 +   ("#Find"  ,"boolTestFind f_f")
     1.9    ],
    1.10    []));
    1.11  
    1.12 @@ -557,7 +557,7 @@
    1.13   (prep_pbt thy
    1.14   (["testeq","thy"],
    1.15    [("#Given" ,"boolTestGiven g_"),
    1.16 -   ("#Find"  ,"boolTestFind f_")
    1.17 +   ("#Find"  ,"boolTestFind f_f")
    1.18    ],
    1.19    []));
    1.20  
    1.21 @@ -604,7 +604,7 @@
    1.22  (*, prep_met thy (*test for equations*)
    1.23   (["Test","testeq"]:metID,
    1.24    [("#Given" ,["boolTestGiven g_"]),
    1.25 -   ("#Find"  ,["boolTestFind f_"])
    1.26 +   ("#Find"  ,["boolTestFind f_f"])
    1.27      ],
    1.28    {rew_ord'="e_rew_ord",rls'="tval_rls",asm_rls=[],
    1.29     asm_thm=[("square_equation_left","")]},