TFL/post.ML
Fri, 20 Aug 2004 12:20:09 +0200 paulson fix to eliminate excessive case-splits in the recursion equations, by Luca Dixon
Fri, 17 Oct 2003 11:03:48 +0200 paulson improved tracing
Tue, 13 Aug 2002 22:01:53 +0200 nipkow arith_tac should not produce counter example
Thu, 13 Dec 2001 16:48:07 +0100 nipkow Terminator now uses arith_tac as well.
Mon, 03 Dec 2001 11:47:29 +0100 wenzelm HOLogic.read_cterm;
Sun, 14 Oct 2001 22:15:07 +0200 wenzelm moved rulify to ObjectLogic;
Fri, 28 Sep 2001 19:23:35 +0200 wenzelm prove: ``strict'' argument;
Fri, 02 Feb 2001 22:21:06 +0100 wenzelm tuned;
Wed, 03 Jan 2001 21:20:40 +0100 wenzelm renamed .sml files to .ML;
less more (0) tip