| Tue, 24 Jul 2012 14:07:44 +0200 | wenzelm | more session ROOT files; | file | diff | annotate |
| Tue, 29 Mar 2011 23:27:38 +0200 | wenzelm | modernized specifications -- less axioms; | file | diff | annotate |
| Wed, 12 Jan 2011 16:33:04 +0100 | wenzelm | eliminated global prems; | file | diff | annotate |
| Fri, 03 Sep 2010 23:54:48 +0200 | wenzelm | turned eta_contract into proper configuration option; | file | diff | annotate |