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.
tidied
authorpaulson
Wed, 01 Sep 1999 11:15:35 +0200
changeset 7402 e53d5f0c7c94
parent 7401 e355f626b2f9
child 7403 c318acb88251
tidied
src/HOL/Integ/bin_simprocs.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Integ/bin_simprocs.ML	Tue Aug 31 16:04:43 1999 +0200
+++ b/src/HOL/Integ/bin_simprocs.ML	Wed Sep 01 11:15:35 1999 +0200
@@ -26,8 +26,8 @@
 struct
   val ss		= HOL_ss
   val eq_reflection	= eq_reflection
-  val thy	= Bin.thy
-  val T		= Type ("IntDef.int", [])
+  val thy		= Bin.thy
+  val T			= HOLogic.intT
 
   val trans		= trans
   val add_ac		= zadd_ac
isabelle