src/FOL/FOL_lemmas1.ML
Thu, 06 Jul 2000 13:28:36 +0200 paulson removal of batch style, and tidying
Wed, 01 Sep 1999 21:21:22 +0200 wenzelm bind_thm;
Wed, 25 Aug 1999 20:45:19 +0200 wenzelm proper bootstrap of IFOL/FOL theories and packages;
less more (0) tip