Fri, 10 Jan 2014 17:44:41 +0100 | wenzelm | more accurate context; | changeset | files |
Fri, 10 Jan 2014 16:55:37 +0100 | wenzelm | tuned; | changeset | files |
Fri, 10 Jan 2014 16:20:06 +0100 | wenzelm | explicit check of background theory; | changeset | files |