src/HOL/Tools/Function/function_common.ML
Sun, 16 Jun 2013 22:56:44 +0200 krauss export dom predicate in the info record
less more (0) -30 -10 -1 tip