| Mon, 16 Feb 2009 20:47:44 +0100 | wenzelm | observe usual theory naming conventions; | file | diff | annotate |
| Tue, 27 Jan 2009 19:56:20 +0100 | wenzelm | added label; | file | diff | annotate |
| Thu, 22 Jan 2009 09:04:45 +0100 | haftmann | binding replaces bstring | file | diff | annotate |
| Wed, 21 Jan 2009 16:47:32 +0100 | haftmann | binding is alias for Binding.T | file | diff | annotate |