equal
deleted
inserted
replaced
|
1 % |
|
2 \begin{isabellebody}% |
|
3 \def\isabellecontext{locale}% |
|
4 % |
|
5 \isadelimtheory |
|
6 \isanewline |
|
7 \isanewline |
|
8 \isanewline |
|
9 % |
|
10 \endisadelimtheory |
|
11 % |
|
12 \isatagtheory |
|
13 \isacommand{theory}\isamarkupfalse% |
|
14 \ {\isachardoublequoteopen}locale{\isachardoublequoteclose}\ \isakeyword{imports}\ base\ \isakeyword{begin}% |
|
15 \endisatagtheory |
|
16 {\isafoldtheory}% |
|
17 % |
|
18 \isadelimtheory |
|
19 % |
|
20 \endisadelimtheory |
|
21 % |
|
22 \isamarkupchapter{Structured specifications% |
|
23 } |
|
24 \isamarkuptrue% |
|
25 % |
|
26 \isamarkupsection{Specification elements% |
|
27 } |
|
28 \isamarkuptrue% |
|
29 % |
|
30 \begin{isamarkuptext}% |
|
31 FIXME% |
|
32 \end{isamarkuptext}% |
|
33 \isamarkuptrue% |
|
34 % |
|
35 \isamarkupsection{Locales% |
|
36 } |
|
37 \isamarkuptrue% |
|
38 % |
|
39 \begin{isamarkuptext}% |
|
40 FIXME% |
|
41 \end{isamarkuptext}% |
|
42 \isamarkuptrue% |
|
43 % |
|
44 \isadelimtheory |
|
45 % |
|
46 \endisadelimtheory |
|
47 % |
|
48 \isatagtheory |
|
49 \isacommand{end}\isamarkupfalse% |
|
50 % |
|
51 \endisatagtheory |
|
52 {\isafoldtheory}% |
|
53 % |
|
54 \isadelimtheory |
|
55 % |
|
56 \endisadelimtheory |
|
57 \isanewline |
|
58 \end{isabellebody}% |
|
59 %%% Local Variables: |
|
60 %%% mode: latex |
|
61 %%% TeX-master: "root" |
|
62 %%% End: |