src/HOL/Codegenerator_Test/Candidates_Pretty.thy
Fri, 02 Jul 2010 14:23:18 +0200 haftmann introduced distinct session HOL-Codegenerator_Test
less more (0) tip