src/Pure/morphism.ML
Sat, 14 Apr 2007 00:46:20 +0200 wenzelm added Morphism.transform/form (generic non-sense);
Tue, 03 Apr 2007 19:24:17 +0200 wenzelm renamed comp to compose (avoid clash with Alice keywords);
Sun, 04 Feb 2007 22:02:15 +0100 wenzelm added cterm interface;
Fri, 24 Nov 2006 22:05:17 +0100 wenzelm simultaneous fact morphism;
Thu, 23 Nov 2006 20:33:28 +0100 wenzelm added name/var/typ/term/thm_morphism;
Thu, 23 Nov 2006 00:51:57 +0100 wenzelm Abstract morphisms on formal entities.
less more (0) tip