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, A
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 coinductively defined streams predicate over
=
Workshop on Formal Verification of Physical Systems (FVPS 2018)
August 17, 2018
RISC, Hagenberg, Austria
Co-located with CICM 2018
