| Fri, 28 Oct 2011 15:38:41 +0200 | wenzelm | slightly more explicit/syntactic modelling of morphisms; | file | diff | annotate |
| Mon, 31 May 2010 21:06:57 +0200 | wenzelm | modernized some structure names, keeping a few legacy aliases; | file | diff | annotate |
| Wed, 21 Jan 2009 22:26:49 +0100 | wenzelm | eliminated obsolete var morphism; | file | diff | annotate |
| Wed, 21 Jan 2009 16:47:32 +0100 | haftmann | binding is alias for Binding.T | file | diff | annotate |
| Thu, 04 Dec 2008 14:43:33 +0100 | haftmann | cleaned up binding module and related code | file | diff | annotate |
| Tue, 02 Sep 2008 14:10:19 +0200 | wenzelm | name/var morphism operates on Name.binding; | file | diff | annotate |
| Sat, 28 Jul 2007 22:01:06 +0200 | wenzelm | type Morphism.declaration; | file | diff | annotate |