src/Pure/morphism.ML
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.