Sun, 11 Sep 2011 22:55:26 +0200 | wenzelm | misc tuning and clarification; | file | diff | annotate |
Tue, 22 Feb 2011 17:06:14 +0100 | wenzelm | modernized specifications; | file | diff | annotate |
Wed, 24 Jun 2009 21:46:54 +0200 | wenzelm | standard naming conventions for session and theories; | file | diff | annotate | base |