isabelle: Changelog

wenzelm [Wed, 26 Nov 1997 17:52:53 +0100] rev 4309

separate lists of simprocs;

paulson [Wed, 26 Nov 1997 17:35:46 +0100] rev 4308

Added rule impCE'

paulson [Wed, 26 Nov 1997 17:35:08 +0100] rev 4307

Blast_tac can prove Pelletier\'s problem 46\!

paulson [Wed, 26 Nov 1997 17:32:52 +0100] rev 4306

Tidying and using equalityCE instead of the slower equalityE

paulson [Wed, 26 Nov 1997 17:31:02 +0100] rev 4305

The change from iffE to iffCE means fewer case splits in most cases. Very few proofs are affected, almost none adversely

paulson [Wed, 26 Nov 1997 17:27:34 +0100] rev 4304

Tidying

paulson [Wed, 26 Nov 1997 17:26:12 +0100] rev 4303

Tidying and modification to cope with iffCE

paulson [Wed, 26 Nov 1997 17:23:18 +0100] rev 4302

Added rule impCE'

paulson [Wed, 26 Nov 1997 17:16:48 +0100] rev 4301

Changes to AddIs improve performance of Blast_tac

paulson [Wed, 26 Nov 1997 16:49:54 +0100] rev 4300

Statistics

isabelle