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