src/HOL/AxClasses/Tutorial/ProdGroupInsts.thy
Mon, 03 Nov 1997 12:24:13 +0100 wenzelm isatool fixclasimp;
less more (0) -1 tip