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