# 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 +