There's a little in posetTheory (sources for which are in src/pair/src). Michael
> On 11 Oct 2015, at 21:00, Ramana Kumar <ramana.ku...@cl.cam.ac.uk> 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 > hol-info@lists.sourceforge.net > 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 hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
