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.
updated comments
authorpaulson
Fri, 18 Sep 1998 14:36:54 +0200
changeset 5499 1787c44ae4ed
parent 5498 7b81cae2774f
child 5500 7e0ed3e31590
updated comments
src/HOL/Nat.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Nat.thy	Fri Sep 18 14:36:36 1998 +0200
+++ b/src/HOL/Nat.thy	Fri Sep 18 14:36:54 1998 +0200
@@ -3,7 +3,7 @@
     Author:     Tobias Nipkow
     Copyright   1997 TU Muenchen
 
-Nat is a partial order
+Type "nat" is a linear order, and a datatype
 *)
 
 Nat = NatDef + Inductive +
isabelle