[isabelle] prooving protocols

I didnt find any material about how to
proove something in Isabelle. I need
to proove security protocols. I found
that in installation package in Isabelle
are some protocols but I didnt find in
Isabelle's web page what to do exactly,
which button to push to begin prooving.

Thanks, PH

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