changeset 48954 | c548d26daa8c |
parent 48951 | b9238cbcdd41 |
child 48955 | a0aca6d0498e |
48953:8cd245b8ccb1 | 48954:c548d26daa8c |
---|---|
17 Inductive_Predicate |
17 Inductive_Predicate |
18 Evaluation |
18 Evaluation |
19 Adaptation |
19 Adaptation |
20 Further |
20 Further |
21 files |
21 files |
22 "document/adaptation.tex" |
22 "document/adapt.tex" |
23 "document/architecture.tex" |
23 "document/architecture.tex" |
24 "document/build" |
24 "document/build" |
25 "document/root.tex" |
25 "document/root.tex" |
26 "document/style.sty" |
26 "document/style.sty" |
27 |
27 |