TFL/rules.ML
Thu, 22 Apr 2004 10:52:32 +0200 wenzelm tuned;
Thu, 04 Oct 2001 15:19:56 +0200 wenzelm qualify MetaSimplifier;
Fri, 28 Sep 2001 19:23:35 +0200 wenzelm prove: ``strict'' argument;
Tue, 16 Jan 2001 00:40:57 +0100 wenzelm renamed Product_Type.split to split_conv;
Thu, 04 Jan 2001 19:41:13 +0100 wenzelm tuned comment;
Wed, 03 Jan 2001 21:20:40 +0100 wenzelm renamed .sml files to .ML;
less more (0) tip