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

[PVS-Help] Using theory interpretations



Hi,

who of you is using theory interpretations? What are you doing with it? I
want to make something like a refinement-chain of theories. But either I
get a bug in PVS or it doesn't work as I've thought about.

Bye,

Thomas