# HG changeset patch
# User wenzelm
# Date 936361395 -7200
# Node ID e329ca03fd005b05b83ac18fff85eff95055b44a
# Parent  ebd975549ffe9fdb49d60cd1751541654b322214
added bind_thms;

diff -r ebd975549ffe -r e329ca03fd00 NEWS
--- a/NEWS	Fri Sep 03 14:22:27 1999 +0200
+++ b/NEWS	Fri Sep 03 14:23:15 1999 +0200
@@ -100,6 +100,8 @@
 ---
 > (defconst proofstate-proofstart-regexp "^Level [0-9]+"
 
+* function bind_thms stores lists of theorems (cf. bind_thm);
+
 
 *** HOL ***