The Coq mailing list

[Bradford Larsen <brad.larsen AT gmail.com>]

On Sep 29, 2011, at 8:32 PM, Tom Prince wrote:

> On Thu, 29 Sep 2011 12:25:11 -0400, Bradford Larsen 
>Â <brad.larsen AT gmail.com>
>  wrote:
>> I'm looking for an example of a separately distributed tactic written
>> in OCaml.  The Coq FAQ says, "You have some examples of tactics
>> written in Ocaml in the “contrib” directory of Coq sources"
>> <http://coq.inria.fr/faq?som=11#htoc154>.  Unfortunately, there is no
>> `contrib` directory to be found.
> 
> The contribs are located here.
> 
> https://gforge.inria.fr/projects/coq-contribs

Thanks, Tom; your pointers really help!

Brad