Re: [isabelle] Proof method to split disjunctions and conjunctions ?



Try the Tutorial, section 5.13, Other Classical Reasoning Methods.

Larry

On 8 Dec 2013, at 09:20, Yannick <yannick_duchene at yahoo.fr> wrote:

> On Sun, 08 Dec 2013 01:13:09 +0100, Lawrence Paulson <lp15 at cam.ac.uk> wrote:
> 
>> I suggest “safe” or “clarify”.
>> 
>> Larry Paulson
> 
> It's not very well documented in Isar‑Ref.




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