author | wenzelm |
Sun, 01 May 2011 17:55:29 +0200 | |
changeset 42518 | 57367832b81a |
permissions | -rw-r--r-- |
42518
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
1 |
% This file was generated by 'rail' from 'logics-ZF.rai' |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
2 |
\rail@i {1}{ datatype : ( 'datatype' | 'codatatype' ) datadecls; \par |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
3 |
datadecls: ( '"' id arglist '"' '=' (constructor + '|') ) + 'and' ; constructor : name ( () | consargs ) ( () | ( '(' mixfix ')' ) ) ; consargs : '(' ('"' var ' : ' term '"' + ',') ')' ; } |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
4 |
\rail@o {1}{ |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
5 |
\rail@begin{2}{datatype} |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
6 |
\rail@bar |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
7 |
\rail@term{datatype}[] |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
8 |
\rail@nextbar{1} |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
9 |
\rail@term{codatatype}[] |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
10 |
\rail@endbar |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
11 |
\rail@nont{datadecls}[] |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
12 |
\rail@end |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
13 |
\rail@begin{3}{datadecls} |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
14 |
\rail@plus |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
15 |
\rail@term{"}[] |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
16 |
\rail@nont{id}[] |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
17 |
\rail@nont{arglist}[] |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
18 |
\rail@term{"}[] |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
19 |
\rail@term{=}[] |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
20 |
\rail@plus |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
21 |
\rail@nont{constructor}[] |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
22 |
\rail@nextplus{1} |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
23 |
\rail@cterm{|}[] |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
24 |
\rail@endplus |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
25 |
\rail@nextplus{2} |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
26 |
\rail@cterm{and}[] |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
27 |
\rail@endplus |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
28 |
\rail@end |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
29 |
\rail@begin{2}{constructor} |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
30 |
\rail@nont{name}[] |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
31 |
\rail@bar |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
32 |
\rail@nextbar{1} |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
33 |
\rail@nont{consargs}[] |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
34 |
\rail@endbar |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
35 |
\rail@bar |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
36 |
\rail@nextbar{1} |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
37 |
\rail@term{(}[] |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
38 |
\rail@nont{mixfix}[] |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
39 |
\rail@term{)}[] |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
40 |
\rail@endbar |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
41 |
\rail@end |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
42 |
\rail@begin{2}{consargs} |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
43 |
\rail@term{(}[] |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
44 |
\rail@plus |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
45 |
\rail@term{"}[] |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
46 |
\rail@nont{var}[] |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
47 |
\rail@term{ : }[] |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
48 |
\rail@nont{term}[] |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
49 |
\rail@term{"}[] |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
50 |
\rail@nextplus{1} |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
51 |
\rail@cterm{,}[] |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
52 |
\rail@endplus |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
53 |
\rail@term{)}[] |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
54 |
\rail@end |
57367832b81a
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
wenzelm
parents:
diff
changeset
|
55 |
} |