Mercurial Mercurial > repos > Old_HOL / 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.
HOL/Ord.thy,.ML: files now have header comments
authorlcp
Fri, 19 Aug 1994 11:19:14 +0200
changeset 118 5b96b1252cdc
parent 117 3716c99fb6a1
child 119 93dc86ccee28
HOL/Ord.thy,.ML: files now have header comments
Ord.ML file | annotate | diff | comparison | revisions
Ord.thy file | annotate | diff | comparison | revisions 
--- a/Ord.ML	Fri Aug 19 11:15:01 1994 +0200
+++ b/Ord.ML	Fri Aug 19 11:19:14 1994 +0200
@@ -1,3 +1,11 @@
+(*  Title: 	HOL/Ord.ML
+    ID:         $Id$
+    Author: 	Tobias Nipkow, Cambridge University Computer Laboratory
+    Copyright   1993  University of Cambridge
+
+The type class for ordered types
+*)
+
 open Ord;
 
 val [prem] = goalw Ord.thy [mono_def]
--- a/Ord.thy	Fri Aug 19 11:15:01 1994 +0200
+++ b/Ord.thy	Fri Aug 19 11:19:14 1994 +0200
@@ -1,3 +1,11 @@
+(*  Title: 	HOL/Ord.thy
+    ID:         $Id$
+    Author: 	Tobias Nipkow, Cambridge University Computer Laboratory
+    Copyright   1993  University of Cambridge
+
+The type class for ordered types
+*)
+
 Ord = HOL +
 classes
   ord < term
Old_HOL