Mercurial Mercurial > repos > Old_HOL / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Trivial spacing corrections
authorlcp
Fri, 19 Nov 1993 11:36:23 +0100
changeset 18 6079c5a92757
parent 17 8c0c3a67d9e1
child 19 da15d528fb19
Trivial spacing corrections
ex/MT.ML file | annotate | diff | comparison | revisions
ex/mt.ML file | annotate | diff | comparison | revisions 
--- 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).
 *)
 
--- 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).
 *)
Old_HOL