7 commits

Author	SHA1	Message	Date
Martin Thoma	102fe0447b	Änderungen der Zugfahrt eingearbeitet.	2014-01-02 16:16:13 +01:00
Martin Thoma	03d2d98754	minor changes	2013-12-21 22:20:30 +01:00
Martin Thoma	a1274e176f	many improvements (theorem-proof-structure for constant function; corrected errors)	2013-12-21 19:10:35 +01:00
Martin Thoma	dc82db6336	misc	2013-12-16 10:51:15 +01:00
Martin Thoma	7fdc530b6c	fixed some errors	2013-12-14 00:20:46 +01:00
Martin Thoma	d53905494b	added some ideas for the case of intervalls [a,b] of R	2013-12-12 23:05:04 +01:00
Martin Thoma	1f7971f5ab	added some ideas; heavy restructuring	2013-12-12 16:22:13 +01:00