ex/mt.ML
changeset 18 6079c5a92757
parent 14 9b0142dad559
--- a/ex/mt.ML	Tue Nov 16 14:14:22 1993 +0100
+++ b/ex/mt.ML	Fri Nov 19 11:36:23 1993 +0100
@@ -9,7 +9,7 @@
     Theoretical Computer Science 87 (1991), pages 209-220.
 
 Written up as
-    Jacob Frost, A Case Study of Co_induction in Isabelle/HOL
+    Jacob Frost, A Case Study of Co-induction in Isabelle/HOL
     Report 308, Computer Lab, University of Cambridge (1993).
 *)