src/HOL/Library/Function_Algebras.thy
Fri, 20 Aug 2010 17:48:30 +0200 haftmann split and enriched theory SetsAndFunctions
less more (0) tip