changeset 29788 | 1b80ebe713a4 |
parent 29671 | c82a76a66e80 |
child 29797 | 08ef36ed2f8a |
--- a/NEWS Tue Feb 03 16:50:40 2009 +0100 +++ b/NEWS Tue Feb 03 16:50:41 2009 +0100 @@ -193,7 +193,8 @@ *** HOL *** -* Theory "Reflection" now resides in HOL/Library. +* Theory "Reflection" now resides in HOL/Library. Common reflection examples +(Cooper, MIR, Ferrack) now in distinct session directory HOL/Reflection. * Entry point to Word library now simply named "Word". INCOMPATIBILITY.