diff -r 498d0db8cd8a -r 6754fa0f2af7 lib/Tools/convert
--- a/lib/Tools/convert	Tue Jan 30 18:47:00 2001 +0100
+++ b/lib/Tools/convert	Tue Jan 30 18:48:33 2001 +0100
@@ -20,7 +20,8 @@
   echo "  Isabelle/Isar tactic emulation."
   echo "  Note: conversion is only approximated, based on some heuristics."
   echo
-  echo "  Renames new versions of FILES by appending \".thy\"."
+  echo "  Renames old versions of FILES by appending \"~0~\"."
+  echo "  Creates new versions of FILES by appending \".thy\"."
   echo
   exit 1
 }