src/Pure/morphism.ML
2007-07-28 wenzelm 2007-07-28 type Morphism.declaration;
2007-04-14 wenzelm 2007-04-14 added Morphism.transform/form (generic non-sense);
2007-04-03 wenzelm 2007-04-03 renamed comp to compose (avoid clash with Alice keywords);
2007-02-04 wenzelm 2007-02-04 added cterm interface;
2006-11-24 wenzelm 2006-11-24 simultaneous fact morphism;
2006-11-23 wenzelm 2006-11-23 added name/var/typ/term/thm_morphism; removed transfer;
2006-11-23 wenzelm 2006-11-23 Abstract morphisms on formal entities.