src/CCL/ROOT
author wenzelm
Tue Aug 12 21:29:50 2014 +0200 (2014-08-12)
changeset 57920 c1953856cfca
parent 51397 03b586ee5930
child 58974 cbc2ac19d783
permissions -rw-r--r--
clarified focus and key handling -- more like SideKick;
avoid resetting input map with its potentially confusion propagation of key events to unrelated components, e.g. main text area or tree scrollbar;
     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   options [document = false]
    14   theories Wfd Fix
    15 
    16 session "CCL-ex" in ex = CCL +
    17   description {*
    18     Author:     Martin Coen, Cambridge University Computer Laboratory
    19     Copyright   1993  University of Cambridge
    20 
    21     Examples for Classical Computational Logic.
    22   *}
    23   options [document = false]
    24   theories Nat List Stream Flag
    25