Full proof

[smita . thosar]

Dear all,

Does anybody know about the program Full proof used for refinement?

Will you please give details about this.

Thanks

Smita Thosar