src/CCL/ROOT
changeset 58974 cbc2ac19d783
parent 51397 03b586ee5930
child 66444 6d2d993fa76e
equal deleted inserted replaced
58973:2a683fb686fd 58974:cbc2ac19d783
     9 
     9 
    10     A computational logic for an untyped functional language with
    10     A computational logic for an untyped functional language with
    11     evaluation to weak head-normal form.
    11     evaluation to weak head-normal form.
    12   *}
    12   *}
    13   options [document = false]
    13   options [document = false]
    14   theories Wfd Fix
    14   theories
       
    15     Wfd
       
    16     Fix
    15 
    17 
    16 session "CCL-ex" in ex = CCL +
    18     (* Examples for Classical Computational Logic *)
    17   description {*
    19     "ex/Nat"
    18     Author:     Martin Coen, Cambridge University Computer Laboratory
    20     "ex/List"
    19     Copyright   1993  University of Cambridge
    21     "ex/Stream"
       
    22     "ex/Flag"
    20 
    23 
    21     Examples for Classical Computational Logic.
       
    22   *}
       
    23   options [document = false]
       
    24   theories Nat List Stream Flag
       
    25