[isabelle-dev] Help

John Wickerson johnwickerson at cantab.net
Mon Jun 16 17:38:11 CEST 2014


Hi Adamu, 

You'd be better off asking isabelle-users at cl.cam.ac.uk for help. Or even Stack Exchange (http://stackoverflow.com/questions/tagged/isabelle). This mailing list is for Isabelle developers, not Isabelle users.

Best wishes,
john

On 11 Jun 2014, at 12:45, Adamu sani yahaya <adamusaniyahaya at gmail.com> wrote:

> Hello,
> Please how can I define and declare a tail recursion of factorial with Isabelle/HOL  and tail recursive of Reverse with Isabelle/HOL
> Thanks
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev




More information about the isabelle-dev mailing list