Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/8bit/c-sources/isa2latex/conv-lex.x
changeset 5675 000879172ee4
parent 5436 cff7d1e98376 
--- 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 */
isabelle