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

[PVS-Help] PVS bugs 968, 948, and 978

Could the description of the fix for PVS bug 968 be updated to include
the definition of make-nonclashing-bindings, which does not exist in the
PVS 4.0 source code?  Also, could the fix for bug 948 / 978 be made
public or, failing that, be made available to me?

Jerry James, Assistant Professor        Jerry.James@usu.edu
Computer Science Department             http://www.cs.usu.edu/~jerry/
Utah State University