Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
* Pure: ML function 'theory_of' replaced by 'theory';
authorwenzelm
Thu, 27 Aug 1998 18:46:57 +0200
changeset 5397 034ed25535b9
parent 5396 cfc1fe0b8490
child 5398 81936a99a3b0
* Pure: ML function 'theory_of' replaced by 'theory';
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Thu Aug 27 18:36:23 1998 +0200
+++ b/NEWS	Thu Aug 27 18:46:57 1998 +0200
@@ -20,6 +20,8 @@
   less_imp_add_less  should be replaced by  trans_less_add1
   le_imp_add_le      should be replaced by  trans_le_add1
 
+* Pure: ML function 'theory_of' replaced by 'theory';
+
 
 *** Proof tools ***
isabelle