# HG changeset patch
# User wenzelm
# Date 1304350986 -7200
# Node ID 61a99eb5eb9dea53612cde0c0df5f9e3ffc90ed5
# Parent  51bf5e365be9eeb67c1aca80a1eb42817ad3e940
removed obsolete rail setup;

diff -r 51bf5e365be9 -r 61a99eb5eb9d doc-src/ZF/Makefile
--- a/doc-src/ZF/Makefile	Mon May 02 17:28:45 2011 +0200
+++ b/doc-src/ZF/Makefile	Mon May 02 17:43:06 2011 +0200
@@ -13,7 +13,7 @@
 
 NAME = logics-ZF
 FILES = logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex logics.sty	\
-  ../rail.sty ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty	\
+  ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty	\
   ../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty ../manual.bib
 
 dvi: $(NAME).dvi
diff -r 51bf5e365be9 -r 61a99eb5eb9d doc-src/ZF/logics-ZF.rai
--- a/doc-src/ZF/logics-ZF.rai	Mon May 02 17:28:45 2011 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,2 +0,0 @@
-\rail@i{1}{ datatype : ( 'datatype' | 'codatatype' ) datadecls; \par
-datadecls: ( '"' id arglist '"' '=' (constructor + '|') ) + 'and' ; constructor : name ( () | consargs ) ( () | ( '(' mixfix ')' ) ) ; consargs : '(' ('"' var ' : ' term '"' + ',') ')' ; }
diff -r 51bf5e365be9 -r 61a99eb5eb9d doc-src/ZF/logics-ZF.rao
--- a/doc-src/ZF/logics-ZF.rao	Mon May 02 17:28:45 2011 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,55 +0,0 @@
-% This file was generated by 'rail' from 'logics-ZF.rai'
-\rail@i {1}{ datatype : ( 'datatype' | 'codatatype' ) datadecls; \par
-datadecls: ( '"' id arglist '"' '=' (constructor + '|') ) + 'and' ; constructor : name ( () | consargs ) ( () | ( '(' mixfix ')' ) ) ; consargs : '(' ('"' var ' : ' term '"' + ',') ')' ; }
-\rail@o {1}{
-\rail@begin{2}{datatype}
-\rail@bar
-\rail@term{datatype}[]
-\rail@nextbar{1}
-\rail@term{codatatype}[]
-\rail@endbar
-\rail@nont{datadecls}[]
-\rail@end
-\rail@begin{3}{datadecls}
-\rail@plus
-\rail@term{"}[]
-\rail@nont{id}[]
-\rail@nont{arglist}[]
-\rail@term{"}[]
-\rail@term{=}[]
-\rail@plus
-\rail@nont{constructor}[]
-\rail@nextplus{1}
-\rail@cterm{|}[]
-\rail@endplus
-\rail@nextplus{2}
-\rail@cterm{and}[]
-\rail@endplus
-\rail@end
-\rail@begin{2}{constructor}
-\rail@nont{name}[]
-\rail@bar
-\rail@nextbar{1}
-\rail@nont{consargs}[]
-\rail@endbar
-\rail@bar
-\rail@nextbar{1}
-\rail@term{(}[]
-\rail@nont{mixfix}[]
-\rail@term{)}[]
-\rail@endbar
-\rail@end
-\rail@begin{2}{consargs}
-\rail@term{(}[]
-\rail@plus
-\rail@term{"}[]
-\rail@nont{var}[]
-\rail@term{ : }[]
-\rail@nont{term}[]
-\rail@term{"}[]
-\rail@nextplus{1}
-\rail@cterm{,}[]
-\rail@endplus
-\rail@term{)}[]
-\rail@end
-}
diff -r 51bf5e365be9 -r 61a99eb5eb9d doc-src/ZF/logics-ZF.tex
--- a/doc-src/ZF/logics-ZF.tex	Mon May 02 17:28:45 2011 +0200
+++ b/doc-src/ZF/logics-ZF.tex	Mon May 02 17:43:06 2011 +0200
@@ -1,7 +1,7 @@
 %% $Id$
 \documentclass[11pt,a4paper]{report}
 \usepackage{../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym}
-\usepackage{graphicx,logics,../ttbox,../proof,../rail,latexsym}
+\usepackage{graphicx,logics,../ttbox,../proof,latexsym}
 
 \usepackage{../pdfsetup}   
 %last package!