Nominal/nominal_induct.ML
Fri, 30 Aug 2013 14:35:37 +0100 Christian Urban updated to lates Isabelle
less more (0) -1 tip