src/HOL/BNF_Least_Fixpoint.thy
Mon, 01 Sep 2014 16:34:40 +0200 blanchet renamed BNF theories
less more (0) tip