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.
doc-src/IsarAdvanced/Classes/Thy/code_examples/classes.ML
changeset 24628 33137422d7fd
parent 23956 48494ccfabaf
child 24991 c6f5cc939c29 
--- a/doc-src/IsarAdvanced/Classes/Thy/code_examples/classes.ML	Tue Sep 18 08:28:47 2007 +0200
+++ b/doc-src/IsarAdvanced/Classes/Thy/code_examples/classes.ML	Tue Sep 18 10:44:02 2007 +0200
@@ -1,9 +1,9 @@
 structure Classes = 
 struct
 
-datatype nat = Zero_nat | Suc of nat;
+datatype nat = Suc of nat | Zero_nat;
 
-datatype bit = B0 | B1;
+datatype bit = B1 | B0;
 
 fun nat_aux i n =
   (if IntInf.<= (i, (0 : IntInf.int)) then n
isabelle