src/Pure/morphism.ML
Thu, 23 Nov 2006 00:51:57 +0100 wenzelm Abstract morphisms on formal entities.
less more (0) tip