src/CCL/ROOT
changeset 48738 f8c1a5b9488f
parent 48483 9bfb6978eb80
child 51397 03b586ee5930
equal deleted inserted replaced
48737:f3bbb9ca57d6 48738:f8c1a5b9488f
     1 session CCL! in "." = Pure +
     1 session CCL = Pure +
     2   description {*
     2   description {*
     3     Author:     Martin Coen, Cambridge University Computer Laboratory
     3     Author:     Martin Coen, Cambridge University Computer Laboratory
     4     Copyright   1993  University of Cambridge
     4     Copyright   1993  University of Cambridge
     5 
     5 
     6     Classical Computational Logic based on First-Order Logic.
     6     Classical Computational Logic based on First-Order Logic.
     9     evaluation to weak head-normal form.
     9     evaluation to weak head-normal form.
    10   *}
    10   *}
    11   options [document = false]
    11   options [document = false]
    12   theories Wfd Fix
    12   theories Wfd Fix
    13 
    13 
    14 session ex = CCL +
    14 session "CCL-ex" in ex = CCL +
    15   description {*
    15   description {*
    16     Author:     Martin Coen, Cambridge University Computer Laboratory
    16     Author:     Martin Coen, Cambridge University Computer Laboratory
    17     Copyright   1993  University of Cambridge
    17     Copyright   1993  University of Cambridge
    18 
    18 
    19     Examples for Classical Computational Logic.
    19     Examples for Classical Computational Logic.