NEWS
changeset 10966 8f2c27041a8e
parent 10944 710ddb9e8b5e
child 10976 0e7cf6f9fa29
     1.1 --- a/NEWS	Tue Jan 23 15:48:35 2001 +0100
     1.2 +++ b/NEWS	Tue Jan 23 18:05:53 2001 +0100
     1.3 @@ -102,6 +102,10 @@
     1.4  HOL/Induct/Multiset, HOL/Induct/Acc (as Accessible_Part), HOL/While
     1.5  (as While_Combinator), HOL/Lex/Prefix (as List_Prefix);
     1.6  
     1.7 +* HOL/Unix: "Some aspects of Unix file-system security", a typical
     1.8 +modelling and verification task performed in Isabelle/HOL +
     1.9 +Isabelle/Isar + Isabelle document preparation (by Markus Wenzel).
    1.10 +
    1.11  * HOL basics: added overloaded operations "inverse" and "divide"
    1.12  (infix "/"), syntax for generic "abs" operation, generic summation
    1.13  operator;