src/CCL/ROOT
author wenzelm
Mon, 18 Aug 2014 12:17:31 +0200
changeset 57978 8f4a332500e4
parent 51397 03b586ee5930
child 58974 cbc2ac19d783
permissions -rw-r--r--
Added tag Isabelle2014-RC4 for changeset 113b43b84412

chapter CCL

session CCL = Pure +
  description {*
    Author:     Martin Coen, Cambridge University Computer Laboratory
    Copyright   1993  University of Cambridge

    Classical Computational Logic based on First-Order Logic.

    A computational logic for an untyped functional language with
    evaluation to weak head-normal form.
  *}
  options [document = false]
  theories Wfd Fix

session "CCL-ex" in ex = CCL +
  description {*
    Author:     Martin Coen, Cambridge University Computer Laboratory
    Copyright   1993  University of Cambridge

    Examples for Classical Computational Logic.
  *}
  options [document = false]
  theories Nat List Stream Flag