# HG changeset patch
# User oheimb
# Date 887992394 -3600
# Node ID bc6e2936a2936d5bc0e518d5a23ab09b4fec10d7
# Parent  49c1b2b63aa020a4f00b78894cc958e11157a204
minor improvements

diff -r 49c1b2b63aa0 -r bc6e2936a293 src/Tools/8bit/config/conv-tables.inp
--- a/src/Tools/8bit/config/conv-tables.inp	Fri Feb 20 16:02:21 1998 +0100
+++ b/src/Tools/8bit/config/conv-tables.inp	Fri Feb 20 17:33:14 1998 +0100
@@ -27,7 +27,7 @@
 #   Must be delimited by "
 #
 
-CONV_SOURCE_DIR "/home/proj/bali/isabelle/src/Tools/8bit/c-sources/isa2latex"
+CONV_SOURCE_DIR "../c-sources/isa2latex"
 
 # End of  general setup
 ############################################################ 
@@ -143,7 +143,7 @@
 >  "Y"
 >  "Z"
 >  "\mbox{$[$}"
->  "\ttbackslash{}"
+>  "\ttbackslash{}" #?????
 >  "\mbox{$]$}"
 >  "\^{}"			
 >  "{\_\hspace{.344ex}}"
@@ -287,15 +287,15 @@
 >  "\|="		"|="		"\mbox{$\models$}"
 >  "\[\|"		"[|"		"\mbox{$[\![\hspace{.32ex}$}"#\llbracket
 >  "\|\]"		"|]"		"\mbox{$\hspace{.32ex}]\!]$}"#\rrbracket
->  "\\cdot"		"\cdot"		"\mbox{$\hspace{.28ex}\cdot\hspace{.28ex}$}"
+>  "\\cdot"		"."		"\mbox{$\hspace{.28ex}\cdot\hspace{.28ex}$}"
 
 # set theory, HOL
 >  "\ :\ "		":"		"\hspace{.1ex}\mbox{$\in$}\hspace{.1ex}"#"\mbox{$\in$}"
 >  "\ \subseteq\ "	" \subseteq "	"\mbox{$\subseteq$}" 
 >  "\ Int\ "		" Int "		"\mbox{$\cap$}" 
 >  "\ Un\ "		" Un "		"\mbox{$\cup$}" 
->  "Inter\ "		"Inter "	"\mbox{$\bigcap$}"
->  "Union\ "		"Union "	"\mbox{$\bigcup$}" 
+>  "Inter\ "		"INT "		"\mbox{$\bigcap$}"
+>  "Union\ "		"UN "		"\mbox{$\bigcup$}" 
 
 # domain theory, HOLCF
 >  "\\sqcap"		"\sqcap"	"\mbox{$\hspace{.29ex}\sqcap\hspace{.29ex}$}" 
@@ -317,7 +317,7 @@
 >  "\\sim\ "		"\sim "		"\mbox{$\hspace{.29ex}\sim\hspace{.29ex}$}\ " 
 >  "\\simeq"		"\simeq"	"\mbox{$\hspace{.29ex}\simeq\hspace{.29ex}$}" 
 >  "<="			"<="		"\mbox{$\hspace{.29ex}\le\hspace{.29ex}$}" 
->  "::"			"::"		"\mbox{$\hspace{-.1ex}:\hspace{-.07ex}:\hspace{.1ex}$}" 
+>  "::"			"::"		"\mbox{$:\hspace{-.07ex}:$}" #"\mbox{$\hspace{-.1ex}:\hspace{-.07ex}:\hspace{.1ex}$}" 
 
 # arrows, Pure, HOL
 >  "<-"		"<-"		"\mbox{$\leftarrow$}" 
@@ -405,7 +405,7 @@
 >  "éê"		"<=="		"<=="		"\mbox{$\Longleftarrow$}"
 >  "éë"		"<=>"		"<=>"		"\mbox{$\Leftrightarrow$}"
 >  "æç"		"<--"		"<--"		"\mbox{$\longleftarrow$}"
->  "æè"		"<->"		"<->""\mbox{$\leftrightarrow$}"
+>  "æè"		"<->"		"<->"		"\mbox{$\leftrightarrow$}"
 >  "\^-1"	"\^-1"		"^-1"		"\mbox{$^{\tt -1}$}" 
 
 #Isabelle