src/Doc/Isar_Ref/First_Order_Logic.thy
Wed, 10 Feb 2016 14:35:10 +0100 wenzelm misc tuning;
less more (0) -10 -1 tip