src/CCL/ROOT
author wenzelm
Mon Oct 30 20:04:10 2017 +0100 (19 months ago)
changeset 66946 3d8fd98c7c86
parent 66444 6d2d993fa76e
child 69272 15e9ed5b28fb
permissions -rw-r--r--
ROOT cleanup: empty 'document_files' means there is no document;
     1 chapter CCL
     2 
     3 session CCL = Pure +
     4   description {*
     5     Author:     Martin Coen, Cambridge University Computer Laboratory
     6     Copyright   1993  University of Cambridge
     7 
     8     Classical Computational Logic based on First-Order Logic.
     9 
    10     A computational logic for an untyped functional language with
    11     evaluation to weak head-normal form.
    12   *}
    13   sessions
    14     FOL
    15   theories
    16     Wfd
    17     Fix
    18 
    19     (* Examples for Classical Computational Logic *)
    20     "ex/Nat"
    21     "ex/List"
    22     "ex/Stream"
    23     "ex/Flag"