NEWS
changeset 10474 25caae39bd7a
parent 10461 96529827ff71
child 10514 3db037155f0e
     1.1 --- a/NEWS	Wed Nov 15 19:43:42 2000 +0100
     1.2 +++ b/NEWS	Thu Nov 16 10:44:59 2000 +0100
     1.3 @@ -64,6 +64,14 @@
     1.4  HOL/subset.thy);
     1.5  
     1.6  
     1.7 +*** CTT ***
     1.8 +
     1.9 +* CTT: x-symbol support for Pi, Sigma, -->, : (membership)
    1.10 +  note that "lam" is displayed as TWO lambda-symbols
    1.11 +
    1.12 +* CTT: theory Main now available, containing everything
    1.13 +(that is, Bool and Arith) 
    1.14 +
    1.15  *** General ***
    1.16  
    1.17  * Provers: fast_tac (and friends) now handle actual object-logic rules