added keyword 'and'

--- a/src/Tools/8bit/c-sources/isa2latex/conv-defs.h	Mon Oct 19 15:37:02 1998 +0200
+++ b/src/Tools/8bit/c-sources/isa2latex/conv-defs.h	Mon Oct 19 15:38:28 1998 +0200
@@ -56,6 +56,6 @@
 #define END_LOW_TABLE   126
 #define START_HI_TABLE  160
 #define END_HI_TABLE    255
-#define SEQ_TABLE       28
+#define SEQ_TABLE       29
 /* END gen-isa2latex */
 

--- a/src/Tools/8bit/c-sources/isa2latex/conv-lex.x	Mon Oct 19 15:37:02 1998 +0200
+++ b/src/Tools/8bit/c-sources/isa2latex/conv-lex.x	Mon Oct 19 15:38:28 1998 +0200
@@ -224,40 +224,42 @@
 <ISAA><--                  	put((char)32,TRUE,9);
 <ISA,ISAA>жи              	put((char)32,TRUE,10);
 <ISAA><->                  	put((char)32,TRUE,10);
-<ISA,ISAA>^arities        	put((char)32,TRUE,11);
-<ISAA>^@arities            	put((char)32,TRUE,11);
-<ISA,ISAA>^axclass        	put((char)32,TRUE,12);
-<ISAA>^@axclass            	put((char)32,TRUE,12);
-<ISA,ISAA>^constdefs      	put((char)32,TRUE,13);
-<ISAA>^@constdefs          	put((char)32,TRUE,13);
-<ISA,ISAA>^consts         	put((char)32,TRUE,14);
-<ISAA>^@consts             	put((char)32,TRUE,14);
-<ISA,ISAA>^datatype       	put((char)32,TRUE,15);
-<ISAA>^@datatype           	put((char)32,TRUE,15);
-<ISA,ISAA>^defs           	put((char)32,TRUE,16);
-<ISAA>^@defs               	put((char)32,TRUE,16);
-<ISA,ISAA>^domain         	put((char)32,TRUE,17);
-<ISAA>^@domain             	put((char)32,TRUE,17);
-<ISA,ISAA>^end            	put((char)32,TRUE,18);
-<ISAA>^@end                	put((char)32,TRUE,18);
-<ISA,ISAA>^inductive      	put((char)32,TRUE,19);
-<ISAA>^@inductive          	put((char)32,TRUE,19);
-<ISA,ISAA>^instance       	put((char)32,TRUE,20);
-<ISAA>^@instance           	put((char)32,TRUE,20);
-<ISA,ISAA>^primrec        	put((char)32,TRUE,21);
-<ISAA>^@primrec            	put((char)32,TRUE,21);
-<ISA,ISAA>^recdef         	put((char)32,TRUE,22);
-<ISAA>^@recdef             	put((char)32,TRUE,22);
-<ISA,ISAA>^rules          	put((char)32,TRUE,23);
-<ISAA>^@rules              	put((char)32,TRUE,23);
-<ISA,ISAA>^syntax         	put((char)32,TRUE,24);
-<ISAA>^@syntax             	put((char)32,TRUE,24);
-<ISA,ISAA>^translations   	put((char)32,TRUE,25);
-<ISAA>^@translations       	put((char)32,TRUE,25);
-<ISA,ISAA>^typedef        	put((char)32,TRUE,26);
-<ISAA>^@typedef            	put((char)32,TRUE,26);
-<ISA,ISAA>^types          	put((char)32,TRUE,27);
-<ISAA>^@types              	put((char)32,TRUE,27);
+<ISA,ISAA>^and            	put((char)32,TRUE,11);
+<ISAA>^@and                	put((char)32,TRUE,11);
+<ISA,ISAA>^arities        	put((char)32,TRUE,12);
+<ISAA>^@arities            	put((char)32,TRUE,12);
+<ISA,ISAA>^axclass        	put((char)32,TRUE,13);
+<ISAA>^@axclass            	put((char)32,TRUE,13);
+<ISA,ISAA>^constdefs      	put((char)32,TRUE,14);
+<ISAA>^@constdefs          	put((char)32,TRUE,14);
+<ISA,ISAA>^consts         	put((char)32,TRUE,15);
+<ISAA>^@consts             	put((char)32,TRUE,15);
+<ISA,ISAA>^datatype       	put((char)32,TRUE,16);
+<ISAA>^@datatype           	put((char)32,TRUE,16);
+<ISA,ISAA>^defs           	put((char)32,TRUE,17);
+<ISAA>^@defs               	put((char)32,TRUE,17);
+<ISA,ISAA>^domain         	put((char)32,TRUE,18);
+<ISAA>^@domain             	put((char)32,TRUE,18);
+<ISA,ISAA>^end            	put((char)32,TRUE,19);
+<ISAA>^@end                	put((char)32,TRUE,19);
+<ISA,ISAA>^inductive      	put((char)32,TRUE,20);
+<ISAA>^@inductive          	put((char)32,TRUE,20);
+<ISA,ISAA>^instance       	put((char)32,TRUE,21);
+<ISAA>^@instance           	put((char)32,TRUE,21);
+<ISA,ISAA>^primrec        	put((char)32,TRUE,22);
+<ISAA>^@primrec            	put((char)32,TRUE,22);
+<ISA,ISAA>^recdef         	put((char)32,TRUE,23);
+<ISAA>^@recdef             	put((char)32,TRUE,23);
+<ISA,ISAA>^rules          	put((char)32,TRUE,24);
+<ISAA>^@rules              	put((char)32,TRUE,24);
+<ISA,ISAA>^syntax         	put((char)32,TRUE,25);
+<ISAA>^@syntax             	put((char)32,TRUE,25);
+<ISA,ISAA>^translations   	put((char)32,TRUE,26);
+<ISAA>^@translations       	put((char)32,TRUE,26);
+<ISA,ISAA>^typedef        	put((char)32,TRUE,27);
+<ISAA>^@typedef            	put((char)32,TRUE,27);
+<ISA,ISAA>^types          	put((char)32,TRUE,28);
+<ISAA>^@types              	put((char)32,TRUE,28);
   /* END_OF_SEQ_TABLE */
   /* This is the end of the generated part */
 

--- a/src/Tools/8bit/c-sources/isa2latex/conv-tables.h	Mon Oct 19 15:37:02 1998 +0200
+++ b/src/Tools/8bit/c-sources/isa2latex/conv-tables.h	Mon Oct 19 15:38:28 1998 +0200
@@ -248,6 +248,7 @@
    {"<=>"                                         ,"\\mbox{$\\Leftrightarrow$}"},
    {"<--"                                         ,"\\mbox{$\\longleftarrow$}"},
    {"<->"                                         ,"\\mbox{$\\leftrightarrow$}"},
+   {"and"                                         ,"\\mbox{\\bf and}"},
    {"arities"                                     ,"\\mbox{\\bf arities}"},
    {"axclass"                                     ,"\\mbox{\\bf axclass}"},
    {"constdefs"                                   ,"\\mbox{\\bf constdefs}"},

--- a/src/Tools/8bit/config/conv-tables.inp	Mon Oct 19 15:37:02 1998 +0200
+++ b/src/Tools/8bit/config/conv-tables.inp	Mon Oct 19 15:38:28 1998 +0200
@@ -409,6 +409,7 @@
 #>  "\^-1"	"@\^-1"		"^-1"		"\mbox{$^{\tt -1}$}" 
 
 #Isabelle
+>  "^and"	"^@and"		"and"		"\mbox{\bf and}"
 >  "^arities"	"^@arities"	"arities"	"\mbox{\bf arities}"
 >  "^axclass"	"^@axclass"	"axclass"	"\mbox{\bf axclass}"
 >  "^constdefs"	"^@constdefs"	"constdefs"	"\mbox{\bf constdefs}"