--- 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
--- 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 '"' + ',') ')' ; }
--- 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
-}
--- 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!