| changeset 38157 | 67ccea8a4761 |
| parent 37759 | 8380686be5cd |
| child 39402 | 3e94ebe282f1 |
| 38156:cb55fd65faa6 | 38157:67ccea8a4761 |
|---|---|
57 "Transfer_Ex", |
57 "Transfer_Ex", |
58 "Arithmetic_Series_Complex", |
58 "Arithmetic_Series_Complex", |
59 "HarmonicSeries", |
59 "HarmonicSeries", |
60 "Refute_Examples", |
60 "Refute_Examples", |
61 "Quickcheck_Examples", |
61 "Quickcheck_Examples", |
62 "Quickcheck_Lattice_Examples", |
|
62 "Landau", |
63 "Landau", |
63 "Execute_Choice", |
64 "Execute_Choice", |
64 "Summation", |
65 "Summation", |
65 "Gauge_Integration", |
66 "Gauge_Integration", |
66 "Dedekind_Real" |
67 "Dedekind_Real" |