src/HOL/BNF_Wellorder_Constructions.thy
Mon, 01 Sep 2014 16:34:39 +0200 blanchet renamed '(BNF_)Constructions_on_Wellorders' to '(BNF_)Wellorder_Constructions'
less more (0) tip