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/Complex/NSComplex.thy
changeset 14641 79b7bd936264
parent 14469 c7674b7034f5
child 14653 0848ab6fe5fc 
--- a/src/HOL/Complex/NSComplex.thy	Thu Apr 22 10:43:06 2004 +0200
+++ b/src/HOL/Complex/NSComplex.thy	Thu Apr 22 10:45:56 2004 +0200
@@ -7,7 +7,7 @@
 
 header{*Nonstandard Complex Numbers*}
 
-theory NSComplex = NSInduct:
+theory NSComplex = Complex:
 
 constdefs
     hcomplexrel :: "((nat=>complex)*(nat=>complex)) set"
isabelle