NEWS

--- a/NEWS	Wed Nov 15 19:43:42 2000 +0100
+++ b/NEWS	Thu Nov 16 10:44:59 2000 +0100
@@ -64,6 +64,14 @@
 HOL/subset.thy);
 
 
+*** CTT ***
+
+* CTT: x-symbol support for Pi, Sigma, -->, : (membership)
+  note that "lam" is displayed as TWO lambda-symbols
+
+* CTT: theory Main now available, containing everything
+(that is, Bool and Arith) 
+
 *** General ***
 
 * Provers: fast_tac (and friends) now handle actual object-logic rules