src/Tools/8bit/config/conv-tables.inp

 #   Must be readable for user.
 #   
 #   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
 ############################################################ 
 
 ############################################################ 

 >  "W"
 >  "X"
 >  "Y"
 >  "Z"
 >  "\mbox{$[$}"
->  "\ttbackslash{}"
+>  "\ttbackslash{}" #?????
 >  "\mbox{$]$}"
 >  "\^{}"			
 >  "{\_\hspace{.344ex}}"
 >  "`"
 >  "a"

 #> "\|-"		"|-"		"\mbox{$\vdash\hspace{-.2ex}$}"
 >  "\|-"		"|-"		"\mbox{$\hspace{.49ex}\vdash\hspace{.49ex}$}"
 >  "\|="		"|="		"\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}$}" 
 >  "\\sqcup"		"\sqcup"	"\mbox{$\hspace{.29ex}\sqcup\hspace{.29ex}$}" 
 >  "glb\ "		"glb "		"\mbox{$\overline{|\,\,|}$}"#\bigsqcap

 >  ":>"			":>"		"\mbox{$\hspace{.29ex}\succ\hspace{.29ex}$}\ " 
 >  "~~"			"~~"		"\mbox{$\hspace{.29ex}\approx\hspace{.29ex}$}" 
 >  "\\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$}" 
 >  "-@@@@@"		"-"		"\mbox{$-$}" 
 >  "->"			"->"		"\mbox{$\rightarrow$}" 

 
 # misc ?
 >  "éê"		"<=="		"<=="		"\mbox{$\Longleftarrow$}"
 >  "éë"		"<=>"		"<=>"		"\mbox{$\Leftrightarrow$}"
 >  "æç"		"<--"		"<--"		"\mbox{$\longleftarrow$}"
->  "æè"		"<->"		"<->""\mbox{$\leftrightarrow$}"
+>  "æè"		"<->"		"<->"		"\mbox{$\leftrightarrow$}"
 >  "\^-1"	"\^-1"		"^-1"		"\mbox{$^{\tt -1}$}" 
 
 #Isabelle
 >  "arities"	"@arities"	"arities"	"\mbox{\bf arities}"
 >  "axclass"	"@axclass"	"axclass"	"\mbox{\bf axclass}"