Hi Tarek, These theories were the result of a paper that Konrad Slind and I wrote called Applications of polytypism in theorem proving. A preprint version can be found on my website:
http://www.gilith.com/research/papers/ Hope that helps. Cheers, Joe On Tue, Jun 30, 2009 at 10:01 AM, Tarek Mhamdi<[email protected]> wrote: > Hello All! > > I am looking for a documentation, even few paragraphs about the HOL4 > theories Encode/Decode/Coder. Have they been used somewhere? > > Thanks, > Tarek > >> hol-info mailing list >> [email protected] >> https://lists.sourceforge.net/lists/listinfo/hol-info > > > ------------------------------------------------------------------------------ > _______________________________________________ > hol-info mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/hol-info > ------------------------------------------------------------------------------ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
