isabelle: Changelog

wenzelm [Thu, 07 Sep 2000 20:49:19 +0200] rev 9889

rulify setup;

wenzelm [Thu, 07 Sep 2000 20:48:51 +0200] rev 9888

added Provers/rulify.ML;

wenzelm [Thu, 07 Sep 2000 20:48:34 +0200] rev 9887

eliminated rulify stuff (now in Provers/rulify.ML);

wenzelm [Thu, 07 Sep 2000 20:47:54 +0200] rev 9886

updated setup;

wenzelm [Thu, 07 Sep 2000 20:47:34 +0200] rev 9885

setup Rulify.setup;

wenzelm [Thu, 07 Sep 2000 20:46:53 +0200] rev 9884

Conversion of object-level -->/ALL into meta-level ==>/!!;

paulson [Thu, 07 Sep 2000 17:36:37 +0200] rev 9883

a number of new theorems

nipkow [Thu, 07 Sep 2000 15:31:09 +0200] rev 9882

Added meaningful output to cong-error msg.

paulson [Thu, 07 Sep 2000 10:38:04 +0200] rev 9881

strengthened dvd_mod & proofed dvd_mod_iff

wenzelm [Wed, 06 Sep 2000 19:12:26 +0200] rev 9880

tuned;

isabelle