3 commits

Author	SHA1	Message	Date
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	01e343f66c	next (failed?) try to calculate the quadratic	2013-12-20 12:36:06 +01:00