[isabelle] definition



Hi

Please I have this definition:
"Sin T R   = {u| u. âtâT. â!xâR. (t,x)â u }"

and I tried to prove that xâu then uâ Sin T R but I couldn't.

rgds
Omar



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