src/HOL/Tools/Predicate_Compile/code_prolog.ML
Mon, 18 Jul 2011 10:34:21 +0200 bulwahn adapting prolog-based tester
less more (0) -30 -10 -1 tip