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). *)