isabelle: Changelog

huffman [Thu, 14 Sep 2006 03:25:17 +0200] rev 20533

remove conflicting norm syntax

wenzelm [Thu, 14 Sep 2006 00:23:02 +0200] rev 20532

made SML/NJ happy;

wenzelm [Wed, 13 Sep 2006 21:41:31 +0200] rev 20531

added exists_type;

wenzelm [Wed, 13 Sep 2006 21:41:25 +0200] rev 20530

renamed NameSpace.drop_base to NameSpace.qualifier;

krauss [Wed, 13 Sep 2006 12:40:39 +0200] rev 20529

Updated keyword file

krauss [Wed, 13 Sep 2006 12:37:13 +0200] rev 20528

Removed debugging code imports...

paulson [Wed, 13 Sep 2006 12:21:35 +0200] rev 20527

Added the "theory_const" option. Only it is OFF because it's often harmful!

paulson [Wed, 13 Sep 2006 12:20:21 +0200] rev 20526

Extended the blacklist with higher-order theorems. Restructured. Added checks to ensure that no higher-order clauses are output in first-order mode.

isabelle