There's a little in posetTheory (sources for which are in src/pair/src). Michael
> On 11 Oct 2015, at 21:00, Ramana Kumar <[email protected]> wrote: > > Is there any theory about partial orders in HOL4? > > I have been party to some work on the partial order of lazy lists under the > prefix relation (in particular proving that it is complete). It would be nice > to instantiate (or create?) some general theory, although going too far in > that direction probably pushes the limits of HOL. > ------------------------------------------------------------------------------ > _______________________________________________ > hol-info mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/hol-info ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. ------------------------------------------------------------------------------ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
