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.
hide dest_bin;
authorwenzelm
Fri, 12 Jan 2001 20:03:26 +0100
changeset 10891 890b117f6189
parent 10890 0b4e916f51ed
child 10892 405b077433a3
hide dest_bin;
src/HOL/Tools/numeral_syntax.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/numeral_syntax.ML	Fri Jan 12 20:03:04 2001 +0100
+++ b/src/HOL/Tools/numeral_syntax.ML	Fri Jan 12 20:03:26 2001 +0100
@@ -9,8 +9,7 @@
 
 signature NUMERAL_SYNTAX =
 sig
-  val dest_bin : term -> int
-  val setup    : (theory -> theory) list
+  val setup: (theory -> theory) list
 end;
 
 structure NumeralSyntax: NUMERAL_SYNTAX =
isabelle