src/CCL/ROOT
author wenzelm
Mon Oct 30 20:04:10 2017 +0100 (20 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;
wenzelm@51397
     1
chapter CCL
wenzelm@51397
     2
wenzelm@48738
     3
session CCL = Pure +
wenzelm@48475
     4
  description {*
wenzelm@48475
     5
    Author:     Martin Coen, Cambridge University Computer Laboratory
wenzelm@48475
     6
    Copyright   1993  University of Cambridge
wenzelm@48475
     7
wenzelm@48475
     8
    Classical Computational Logic based on First-Order Logic.
wenzelm@48475
     9
wenzelm@48475
    10
    A computational logic for an untyped functional language with
wenzelm@48475
    11
    evaluation to weak head-normal form.
wenzelm@48475
    12
  *}
wenzelm@66444
    13
  sessions
wenzelm@66444
    14
    FOL
wenzelm@58974
    15
  theories
wenzelm@58974
    16
    Wfd
wenzelm@58974
    17
    Fix
wenzelm@48475
    18
wenzelm@58974
    19
    (* Examples for Classical Computational Logic *)
wenzelm@58974
    20
    "ex/Nat"
wenzelm@58974
    21
    "ex/List"
wenzelm@58974
    22
    "ex/Stream"
wenzelm@58974
    23
    "ex/Flag"