# HG changeset patch
# User wenzelm
# Date 855930720 -3600
# Node ID ab311b6e5e29afbe903ccb1fdae1bcaf4ded240e
# Parent  6a7372c9ca0f02e4f20d557ab452bbdf9273d838
fixed comment;

diff -r 6a7372c9ca0f -r ab311b6e5e29 src/HOL/Ord.thy
--- a/src/HOL/Ord.thy	Fri Feb 14 15:29:20 1997 +0100
+++ b/src/HOL/Ord.thy	Fri Feb 14 15:32:00 1997 +0100
@@ -3,7 +3,7 @@
     Author:     Tobias Nipkow, Cambridge University Computer Laboratory
     Copyright   1993  University of Cambridge
 
-Type class for order signatures.
+Type classes for order signatures and orders.
 *)
 
 Ord = HOL +