src/HOL/Finite_Set.thy
Wed, 04 Nov 2015 08:13:52 +0100 ballarin Keyword 'rewrites' identifies rewrite morphisms.
less more (0) -300 -100 -30 -10 -1 tip