equal
deleted
inserted
replaced
3 options [document = pdf, document_output = "output"] |
3 options [document = pdf, document_output = "output"] |
4 sessions |
4 sessions |
5 "Interpret" |
5 "Interpret" |
6 theories |
6 theories |
7 "Lucas_Interpreter" |
7 "Lucas_Interpreter" |
8 document_files (in "../") |
|
9 "isabelle.sty" |
|
10 "isabellesym.sty" |
|
11 "pdfsetup.sty" |
|
12 document_files |
8 document_files |
13 "bend-7-70-en.png" |
9 "bend-7-70-en.png" |
14 "fun-pack-biegelinie-2.png" |
10 "fun-pack-biegelinie-2.png" |
15 "fun-pack-simplify.png" |
11 "fun-pack-simplify.png" |
16 "root.bib" |
12 "root.bib" |
21 options [document = pdf, document_output = "output"] |
17 options [document = pdf, document_output = "output"] |
22 sessions |
18 sessions |
23 "Specify" |
19 "Specify" |
24 theories |
20 theories |
25 "Specify_Phase" |
21 "Specify_Phase" |
26 document_files (in "../") |
|
27 "isabelle.sty" |
|
28 "isabellesym.sty" |
|
29 "pdfsetup.sty" |
|
30 document_files |
22 document_files |
31 "root.bib" |
23 "root.bib" |
32 "root.tex" |
24 "root.tex" |
33 "user-requirements.tex" |
25 "user-requirements.tex" |