isabelle: Changelog

chaieb [Thu, 26 Jul 2007 21:51:37 +0200] rev 23997

Updated proofs;

chaieb [Thu, 26 Jul 2007 21:49:55 +0200] rev 23996

Updated reification : CX discontinued for CN

chaieb [Thu, 26 Jul 2007 21:49:53 +0200] rev 23995

Updated proofs; changed shadow syntax to improve (processing) time

chaieb [Thu, 26 Jul 2007 21:49:51 +0200] rev 23994

removed redundant ilcm_dvd1 ilcm_dvd2 zvdd_abs1

nipkow [Thu, 26 Jul 2007 21:48:01 +0200] rev 23993

fixed broken proof

wenzelm [Wed, 25 Jul 2007 22:20:54 +0200] rev 23992

updated;

wenzelm [Wed, 25 Jul 2007 22:20:53 +0200] rev 23991

renamed CRITICAL' to NAMED_CRITICAL; tuned messages;

wenzelm [Wed, 25 Jul 2007 22:20:52 +0200] rev 23990

renamed CRITICAL' to NAMED_CRITICAL;

wenzelm [Wed, 25 Jul 2007 22:20:51 +0200] rev 23989

added command 'print_options';

wenzelm [Wed, 25 Jul 2007 22:20:50 +0200] rev 23988

added attribute "option" for setting configuration options;

isabelle