BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-83-992
       ENTRY:: May 29, 1995
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: The language of an interactive proof checker
        TYPE:: Technical Report
      AUTHOR:: Ketonen, Jussi
      AUTHOR:: Weening, Joseph S.
        DATE:: December 1983
       PAGES:: 36
    ABSTRACT:: We describe the underlying language for EKL, an interactive
               theorem-proving system currently under development at the
               Stanford Artificial Intelligence Laboratory. Some of the
               reasons for its development as well as its mathematical
               properties are discussed.
       NOTES:: [Adminitrivia V1/Prg/19950529]
         END:: STAN//CS-TR-83-992