src/CCL/ROOT

re-introduced ROOTS catalog files (cf. 47330b712f8f) which help to organize AFP or make -d options persistent;

session CCL! in "." = 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 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