Implementing Sets with Lists
We prove coherence of the theory SET .

We want to prove

coherence(SET) .
Attribute coherence requires us to prove the following subgoals:


This page was generated
by Kumo on Mon Jun 15 13:44:12 PDT 1998 from code written by Grigore Rosu,