doc-src/IsarRef/Thy/Generic.thy
Mon, 16 Jun 2008 22:13:39 +0200 wenzelm pervasive RuleInsts;
less more (0) -10 -1 tip