--- a/src/HOL/Bali/Table.thy Wed Jul 10 14:51:18 2002 +0200
+++ b/src/HOL/Bali/Table.thy Wed Jul 10 15:07:02 2002 +0200
@@ -41,7 +41,7 @@
syntax
table_of :: "('a \<times> 'b) list \<Rightarrow> ('a, 'b) table" (* concrete table *)
-
+
translations
"table_of" == "map_of"