# HG changeset patch
# User wenzelm
# Date 898159816 -7200
# Node ID de5eacb7361af3de9c73f4988dc999609d264b6b
# Parent  a19e5c91a1ab7222332b86d126ce29d87f970b7d
renamed thm(s) to Thm(s);

diff -r a19e5c91a1ab -r de5eacb7361a NEWS
--- a/NEWS	Thu Jun 18 10:48:21 1998 +0200
+++ b/NEWS	Thu Jun 18 10:50:16 1998 +0200
@@ -37,7 +37,7 @@
 * inductive definitions now handle disjunctive premises correctly (HOL
 and ZF);
 
-* new toplevel commands 'thm' and 'thms' for retrieving theorems from
+* new toplevel commands 'Thm' and 'Thms' for retrieving theorems from
 the current theory context;
 
 * new theory section 'nonterminals';