Hi Adamu, You'd be better off asking isabelle-us...@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 <adamusaniyah...@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-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
