# HG changeset patch
# User wenzelm
# Date 968969768 -7200
# Node ID 07521b6eb888a4d0d8bfe615bda5f3ae8019d21f
# Parent  4a2ae974043df28b58176e6bb0636c13b8fd8c5b
renamed "bow" to "frown";

diff -r 4a2ae974043d -r 07521b6eb888 lib/encodings/isabelle-0
--- a/lib/encodings/isabelle-0	Thu Sep 14 18:37:44 2000 +0200
+++ b/lib/encodings/isabelle-0	Fri Sep 15 00:16:08 2000 +0200
@@ -102,7 +102,7 @@
 Leftarrow
 Midarrow
 Rightarrow
-bow
+frown
 mapsto
 leadsto
 up