Material for Lecture1:
    • Basics of CafeOBJ and Peano Style Natural Numbers (slides in a pdf file)
    • Proof Scores for PNAT (text file with .cafe extension)
    • Traces of Proof Scores for PNAT (text file with .txt extension)
    • Proof Scores for PNAT with SpecCalc/CITP (text file with .cafe extension)
    • Traces of Proof Scores for PNAT with SpecCalc/CITP (text file with .txt extension)