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.
deleted obsolete comment
authorpaulson
Mon, 11 Mar 1996 14:05:45 +0100
changeset 1562 e98c7f6165c9
parent 1561 9ba6d69f7763
child 1563 717f8816eca5
deleted obsolete comment
src/HOL/Univ.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Univ.thy	Mon Mar 11 14:04:37 1996 +0100
+++ b/src/HOL/Univ.thy	Mon Mar 11 14:05:45 1996 +0100
@@ -3,8 +3,6 @@
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1993  University of Cambridge
 
-Move LEAST to Nat.thy???  Could it be defined for all types 'a::ord?
-
 Declares the type 'a node, a subtype of (nat=>nat) * ('a+nat)
 
 Defines "Cartesian Product" and "Disjoint Sum" as set operations.
isabelle