Re: [Hol-info] Extension of Co-algebraic Datatype

There is no documentation I’m afraid, except that the interface and behaviour is basically exactly the same as for IndDefLib, which is described in the DESCRIPTION manual. Michael From: Waqar Ahmad <12phdwah...@seecs.edu.pk> Date: Wednesday, 16 May 2018 at 06:11 To: "Norrish, Michael (Data61,

Re: [Hol-info] Extension of Co-algebraic Datatype

Great!. This is exactly what I want. Thanks for helping me out...:) I located the file "CoIndDefLib" in the HOL folder "src/IndDef".. Is there any documentation available regarding this file? On Sun, May 13, 2018 at 6:04 AM, wrote: > If you want the

[Hol-info] [Call for Papers] Formal Verification of Physical Systems (FVPS 2018)

= Workshop on Formal Verification of Physical Systems (FVPS 2018) August 17, 2018 RISC, Hagenberg, Austria Co-located with CICM 2018