[isabelle] Sledgehammer



Hi all,

I installed the latest development snapshot of Isabelle (Isabelle_23- Sep-2007), but I couldn't find Sledgehammer. Is there a separate file that I have to install?

Thanks.


-Teme





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