# HG changeset patch
# User wenzelm
# Date 947773792 -3600
# Node ID 0b383485564340b97eb7d583fa06669fafc449a9
# Parent  60b606eddec8342ec50000217b05b0d3e3efa62d
tuned comment;

diff -r 60b606eddec8 -r 0b3834855643 src/Pure/General/source.ML
--- a/src/Pure/General/source.ML	Wed Jan 12 15:58:16 2000 +0100
+++ b/src/Pure/General/source.ML	Thu Jan 13 15:29:52 2000 +0100
@@ -2,7 +2,7 @@
     ID:         $Id$
     Author:     Markus Wenzel, TU Muenchen
 
-Co-algebraic data sources.
+Coalgebraic data sources.
 *)
 
 signature SOURCE =