src/HOL/ex/mesontest2.ML
changeset 2059 d08998a11d44
parent 1887 e2946beeb9ff
child 3439 54785105178c
--- a/src/HOL/ex/mesontest2.ML	Mon Oct 07 10:34:58 1996 +0200
+++ b/src/HOL/ex/mesontest2.ML	Mon Oct 07 10:35:47 1996 +0200
@@ -1,5 +1,8 @@
 (* Courtesy John Harrison 
   $Id$
+
+  Use the "mesonlog" shell script to process logs.
+
    Changed numeric constants e.g. 0, 1, 2... to num0, num1, num2...
 *)