[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] fixed-point theory



Hi,

I came across this formalization of fixed-points:
http://www.informatik.uni-ulm.de/ki/PVS/fixpoints.html
Unfortunately, the link to the dump file is broken.  Does anyone
happen to know of a mirror or an alternative library?

Thanks,

stan