| 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 |