[isabelle] solving an equation in isabelle


i try to solve an equation in isabelle in which i use 6 parameter. But 
isabelle can not solve this problem with auto.

is there any other method for solving problems automatically (i have tried 
simp and arith too. )

the important things in the equation are :

(((y1-y2)^nat (p - 3)) - x1 ) ^3 = .....

i think the use of nat and power may be a problem against the auto.

can anybody recommend something?


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.