Material for Lecture2:
    • Parameterized Modules and Generic List Structure (slides in a pdf file)
    • A Sketch of Specification Calculus in CafeOBJ (slides in a pdf file)
    • Generic List (text file with .cafe extension)
    • Proof Scores for rev on list (text file with .cafe extension)
    • Proof Scores for rev on List with SpecCalc/CITP (text file with .cafe extension)
    • Generic Seq (text file with .cafe extension)
    • Proof Scores for rev on Seq (text File with .cafe extension)
    • Generic Set (text file with .cafe extension)
    • Proof Scores for intersection on Set (text file with .cafe extension)