NEWS
changeset 5128 66c4d554e93f
parent 5127 ef467e05da61
child 5131 dd4ac220b8b4
     1.1 --- a/NEWS	Fri Jul 03 18:53:02 1998 +0200
     1.2 +++ b/NEWS	Fri Jul 03 18:56:40 1998 +0200
     1.3 @@ -164,6 +164,9 @@
     1.4  * Simplifier now offers conversions (asm_)(full_)rewrite: simpset ->
     1.5  cterm -> thm;
     1.6  
     1.7 +* Pure: several new basic modules made available for general use, see
     1.8 +also src/Pure/README;
     1.9 +
    1.10  
    1.11  
    1.12  New in Isabelle98 (January 1998)