| Wed, 23 May 2012 15:57:12 +0200 | wenzelm | eliminated obsolete fastsimp; | file | diff | annotate |
| Tue, 29 Mar 2011 23:15:25 +0200 | wenzelm | modernized specifications -- some attempts to avoid wild axiomatizations; | file | diff | annotate |
| Wed, 12 Jan 2011 16:33:04 +0100 | wenzelm | eliminated global prems; | file | diff | annotate |