# HG changeset patch
# User nipkow
# Date 877448311 -7200
# Node ID f95d2fb6fac8aac02e0143a23c7576ceadbde934
# Parent  29c5ec9ecbaa93f05f1e53f3fce350dc83d39c4e
typo

diff -r 29c5ec9ecbaa -r f95d2fb6fac8 NEWS
--- a/NEWS	Tue Oct 21 17:36:54 1997 +0200
+++ b/NEWS	Tue Oct 21 17:38:31 1997 +0200
@@ -79,7 +79,7 @@
 
 * HOL/simplifier: added infix function `addsplits':
   instead of `<simpset> setloop (split_tac <thms>)'
-  you can simply write `<simpset> adsplits <thms>'
+  you can simply write `<simpset> addsplits <thms>'
 
 * HOL/simplifier: terms of the form
   `? x. P1(x) & ... & Pn(x) & x=t & Q1(x) & ... Qn(x)' (or t=x)