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.
removed thm_num and thm_db from signature
authorclasohm
Tue, 30 May 1995 11:57:27 +0200
changeset 1137 1a768988f8e3
parent 1136 3910c96551d1
child 1138 82fd99d5a6ff
removed thm_num and thm_db from signature
src/Pure/Thy/thm_database.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/thm_database.ML	Tue May 30 11:28:13 1995 +0200
+++ b/src/Pure/Thy/thm_database.ML	Tue May 30 11:57:27 1995 +0200
@@ -6,8 +6,6 @@
 
 signature THMDB =
 sig
-  val thm_db: (int * (string * thm)) list Symtab.table ref
-  val thm_num: int ref
   val store_thm_db: string * thm -> thm
   val thms_containing: string list -> (string * thm) list
   val thms_resolving_with: term * Sign.sg -> (string * thm) list
isabelle