Re: [isabelle] Simplification



On Fri, 13 Jul 2007, Wolff  Burkhart wrote:

> I'd like to have a function of type thm => thm that
> converts:
>  
> [|  A ==> True; B |] ==> C
>  
> into 
>  
> B ==> C.

fn thm => TrueI RS thm;


	Makarius






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