BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-76-572
       ENTRY:: July 04, 1995
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: An FOL primer
        TYPE:: Technical Report
      AUTHOR:: Filman, Robert E.
      AUTHOR:: Weyhrauch, Richard W.
        DATE:: September 1976
       PAGES:: 40
    ABSTRACT:: This primer is an introduction to FOL, an interactive proof
               checker for first order logic. Its examples can be used to
               learn the FOL system, or read independently for a flavor of
               our style of interactive proof checking. Several example
               proofs are presented, successively increasing in the
               complexity of the FOL commands employed.
       NOTES:: [Adminitrivia V1/Prg/19950704]
         END:: STAN//CS-TR-76-572