NEWS
changeset 5397 034ed25535b9
parent 5373 57165d7271b5
child 5407 b450fea6d70c
     1.1 --- a/NEWS	Thu Aug 27 18:36:23 1998 +0200
     1.2 +++ b/NEWS	Thu Aug 27 18:46:57 1998 +0200
     1.3 @@ -20,6 +20,8 @@
     1.4    less_imp_add_less  should be replaced by  trans_less_add1
     1.5    le_imp_add_le      should be replaced by  trans_le_add1
     1.6  
     1.7 +* Pure: ML function 'theory_of' replaced by 'theory';
     1.8 +
     1.9  
    1.10  *** Proof tools ***
    1.11