Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Word/TdThs.thy
changeset 29234 60f7fb56f8cd
parent 27138 63fdfcf6c7a3
child 29631 3aa049e5f156 
--- a/src/HOL/Word/TdThs.thy	Sun Dec 14 18:45:51 2008 +0100
+++ b/src/HOL/Word/TdThs.thy	Mon Dec 15 18:12:52 2008 +0100
@@ -90,7 +90,7 @@
 
 end
 
-interpretation nat_int: type_definition [int nat "Collect (op <= 0)"]
+interpretation nat_int!: type_definition int nat "Collect (op <= 0)"
   by (rule td_nat_int)
 
 declare
isabelle