 Martin Thoma
|
7740f0147f
Remove trailing spaces
|
9 lat temu |
|
Martin Thoma
|
102fe0447b
Änderungen der Zugfahrt eingearbeitet.
|
11 lat temu |
|
Martin Thoma
|
03d2d98754
minor changes
|
11 lat temu |
|
Martin Thoma
|
a1274e176f
many improvements (theorem-proof-structure for constant function; corrected errors)
|
11 lat temu |
|
Martin Thoma
|
dc82db6336
misc
|
11 lat temu |
|
Martin Thoma
|
7fdc530b6c
fixed some errors
|
11 lat temu |
|
Martin Thoma
|
d53905494b
added some ideas for the case of intervalls [a,b] of R
|
11 lat temu |
|
Martin Thoma
|
1f7971f5ab
added some ideas; heavy restructuring
|
11 lat temu |
