2010-05-31 | wenzelm | modernized some structure names, keeping a few legacy aliases; | file | diff | annotate |
2009-01-21 | wenzelm | eliminated obsolete var morphism; | file | diff | annotate |
2009-01-21 | haftmann | binding is alias for Binding.T | file | diff | annotate |
2008-12-04 | haftmann | cleaned up binding module and related code | file | diff | annotate |
2008-09-02 | wenzelm | name/var morphism operates on Name.binding; | file | diff | annotate |
2007-07-28 | wenzelm | type Morphism.declaration; | file | diff | annotate |
2007-04-13 | wenzelm | added Morphism.transform/form (generic non-sense); | file | diff | annotate |
2007-04-03 | wenzelm | renamed comp to compose (avoid clash with Alice keywords); | file | diff | annotate |
2007-02-04 | wenzelm | added cterm interface; | file | diff | annotate |
2006-11-24 | wenzelm | simultaneous fact morphism; | file | diff | annotate |
2006-11-23 | wenzelm | added name/var/typ/term/thm_morphism; | file | diff | annotate |
2006-11-22 | wenzelm | Abstract morphisms on formal entities. | file | diff | annotate |