equal
deleted
inserted
replaced
|
1 \documentclass[dvipsnames,14pt,t]{beamer} |
1 \usepackage{beamerthemeplaincu} |
2 \usepackage{beamerthemeplaincu} |
2 %%\usepackage{ulem} |
3 %%\usepackage{ulem} |
3 \usepackage[T1]{fontenc} |
4 %%\usepackage[T1]{fontenc} |
4 \usepackage{proof} |
5 \usepackage{proof} |
5 \usepackage[latin1]{inputenc} |
6 %%\usepackage[latin1]{inputenc} |
6 \usepackage{isabelle} |
7 \usepackage{isabelle} |
7 \usepackage{isabellesym} |
8 \usepackage{isabellesym} |
8 \usepackage{mathpartir} |
9 \usepackage{mathpartir} |
9 \usepackage[absolute, overlay]{textpos} |
10 \usepackage[absolute, overlay]{textpos} |
10 \usepackage{proof} |
11 \usepackage{proof} |
15 \usetikzlibrary{arrows} |
16 \usetikzlibrary{arrows} |
16 \usetikzlibrary{automata} |
17 \usetikzlibrary{automata} |
17 \usetikzlibrary{shapes} |
18 \usetikzlibrary{shapes} |
18 \usetikzlibrary{shadows} |
19 \usetikzlibrary{shadows} |
19 \usetikzlibrary{calc} |
20 \usetikzlibrary{calc} |
|
21 \usetikzlibrary{plotmarks} |
|
22 \usetikzlibrary{positioning} |
|
23 |
20 |
24 |
21 % Isabelle configuration |
25 % Isabelle configuration |
22 %%\urlstyle{rm} |
26 %%\urlstyle{rm} |
23 \isabellestyle{rm} |
27 \isabellestyle{rm} |
24 \renewcommand{\isastyle}{\rm}% |
28 \renewcommand{\isastyle}{\rm}% |
46 % general math stuff |
50 % general math stuff |
47 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions |
51 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions |
48 \newcommand{\dnn}{\stackrel{\mbox{\Large def}}{=}} |
52 \newcommand{\dnn}{\stackrel{\mbox{\Large def}}{=}} |
49 \renewcommand{\isasymequiv}{$\dn$} |
53 \renewcommand{\isasymequiv}{$\dn$} |
50 \renewcommand{\emptyset}{\varnothing}% nice round empty set |
54 \renewcommand{\emptyset}{\varnothing}% nice round empty set |
51 \renewcommand{\Gamma}{\varGamma} |
55 %%\renewcommand{\Gamma}{\varGamma} |
52 \DeclareRobustCommand{\flqq}{\mbox{\guillemotleft}} |
56 \DeclareRobustCommand{\flqq}{\mbox{\guillemotleft}} |
53 \DeclareRobustCommand{\frqq}{\mbox{\guillemotright}} |
57 \DeclareRobustCommand{\frqq}{\mbox{\guillemotright}} |
54 \newcommand{\smath}[1]{\textcolor{blue}{\ensuremath{#1}}} |
58 \newcommand{\smath}[1]{\textcolor{blue}{\ensuremath{#1}}} |
55 \newcommand{\fresh}{\mathrel{\#}} |
59 \newcommand{\fresh}{\mathrel{\#}} |
56 \newcommand{\act}{{\raisebox{-0.5mm}{\Large$\boldsymbol{\cdot}$}}}% swapping action |
60 \newcommand{\act}{{\raisebox{-0.5mm}{\Large$\boldsymbol{\cdot}$}}}% swapping action |
132 |
136 |
133 \newenvironment{isatabbing}% |
137 \newenvironment{isatabbing}% |
134 {\renewcommand{\isanewline}{\\}\begin{tabbing}}% |
138 {\renewcommand{\isanewline}{\\}\begin{tabbing}}% |
135 {\end{tabbing}} |
139 {\end{tabbing}} |
136 |
140 |
|
141 \begin{filecontents}{re-python.data} |
|
142 1 0.029 |
|
143 5 0.029 |
|
144 10 0.029 |
|
145 15 0.032 |
|
146 16 0.042 |
|
147 17 0.042 |
|
148 18 0.055 |
|
149 19 0.084 |
|
150 20 0.136 |
|
151 21 0.248 |
|
152 22 0.464 |
|
153 23 0.899 |
|
154 24 1.773 |
|
155 25 3.505 |
|
156 26 6.993 |
|
157 27 14.503 |
|
158 28 29.307 |
|
159 #29 58.886 |
|
160 \end{filecontents} |
|
161 |
|
162 \begin{filecontents}{re-ruby.data} |
|
163 1 0.00006 |
|
164 2 0.00003 |
|
165 3 0.00001 |
|
166 4 0.00001 |
|
167 5 0.00001 |
|
168 6 0.00002 |
|
169 7 0.00002 |
|
170 8 0.00004 |
|
171 9 0.00007 |
|
172 10 0.00013 |
|
173 11 0.00026 |
|
174 12 0.00055 |
|
175 13 0.00106 |
|
176 14 0.00196 |
|
177 15 0.00378 |
|
178 16 0.00764 |
|
179 17 0.01606 |
|
180 18 0.03094 |
|
181 19 0.06508 |
|
182 20 0.12420 |
|
183 21 0.25393 |
|
184 22 0.51449 |
|
185 23 1.02174 |
|
186 24 2.05998 |
|
187 25 4.22514 |
|
188 26 8.42479 |
|
189 27 16.88678 |
|
190 28 34.79653 |
|
191 \end{filecontents} |
|
192 |
|
193 \begin{filecontents}{re1.data} |
|
194 1 0.00179 |
|
195 2 0.00011 |
|
196 3 0.00014 |
|
197 4 0.00026 |
|
198 5 0.00050 |
|
199 6 0.00095 |
|
200 7 0.00190 |
|
201 8 0.00287 |
|
202 9 0.00779 |
|
203 10 0.01399 |
|
204 11 0.01894 |
|
205 12 0.03666 |
|
206 13 0.07994 |
|
207 14 0.08944 |
|
208 15 0.02377 |
|
209 16 0.07392 |
|
210 17 0.22798 |
|
211 18 0.65310 |
|
212 19 2.11360 |
|
213 20 6.31606 |
|
214 21 21.46013 |
|
215 \end{filecontents} |
|
216 |
|
217 \begin{filecontents}{re2a.data} |
|
218 1 0.00227 |
|
219 5 0.00027 |
|
220 10 0.00075 |
|
221 15 0.00178 |
|
222 20 0.00102 |
|
223 25 0.00028 |
|
224 30 0.00040 |
|
225 35 0.00052 |
|
226 40 0.00075 |
|
227 45 0.00125 |
|
228 50 0.00112 |
|
229 55 0.00099 |
|
230 60 0.00113 |
|
231 65 0.00137 |
|
232 70 0.00170 |
|
233 \end{filecontents} |
|
234 |
|
235 \begin{filecontents}{re2c.data} |
|
236 1 0.00020 |
|
237 51 0.00080 |
|
238 101 0.00678 |
|
239 151 0.01792 |
|
240 201 0.04815 |
|
241 251 0.09648 |
|
242 301 0.23195 |
|
243 351 0.52646 |
|
244 401 0.96277 |
|
245 451 1.57726 |
|
246 501 2.00166 |
|
247 551 2.98341 |
|
248 601 4.81181 |
|
249 651 6.57054 |
|
250 701 9.73973 |
|
251 751 13.25762 |
|
252 801 14.80760 |
|
253 851 19.60958 |
|
254 901 25.43550 |
|
255 951 31.96038 |
|
256 \end{filecontents} |
|
257 |
|
258 \begin{filecontents}{re3.data} |
|
259 1 0.001605 |
|
260 501 0.131066 |
|
261 1001 0.057885 |
|
262 1501 0.136875 |
|
263 2001 0.176238 |
|
264 2501 0.254363 |
|
265 3001 0.37262 |
|
266 3501 0.500946 |
|
267 4001 0.638384 |
|
268 4501 0.816605 |
|
269 5001 1.00491 |
|
270 5501 1.232505 |
|
271 6001 1.525672 |
|
272 6501 1.757502 |
|
273 7001 2.092784 |
|
274 7501 2.429224 |
|
275 8001 2.803037 |
|
276 8501 3.463045 |
|
277 9001 3.609 |
|
278 9501 4.081504 |
|
279 10001 4.54569 |
|
280 10501 6.17789 |
|
281 11001 6.77242 |
|
282 11501 7.95864 |
|
283 \end{filecontents} |
|
284 |
|
285 |
|
286 |
|
287 |
137 \begin{document} |
288 \begin{document} |
138 \input{session} |
289 \input{session} |
139 \end{document} |
290 \end{document} |
140 |
291 |
141 %%% Local Variables: |
292 %%% Local Variables: |