isabelle: Changelog

wenzelm [Mon, 09 Oct 2006 19:37:05 +0200] rev 20926

moved Context.ml_output to Output.ml_output;

wenzelm [Mon, 09 Oct 2006 19:37:04 +0200] rev 20925

Secure critical operations.

wenzelm [Mon, 09 Oct 2006 19:37:03 +0200] rev 20924

added General/secure.ML;

wenzelm [Mon, 09 Oct 2006 19:37:02 +0200] rev 20923

added option -S (secure mode);

nipkow [Mon, 09 Oct 2006 12:51:31 +0200] rev 20922

added nbe_post for delayed_if

nipkow [Mon, 09 Oct 2006 12:20:39 +0200] rev 20921

added delayed_if

nipkow [Mon, 09 Oct 2006 12:16:29 +0200] rev 20920

added pre/post-processor equations

wenzelm [Mon, 09 Oct 2006 12:08:33 +0200] rev 20919

attribute "symmetric": standardized schematic variables;

wenzelm [Mon, 09 Oct 2006 02:20:11 +0200] rev 20918

sequential lemmas;

wenzelm [Mon, 09 Oct 2006 02:20:10 +0200] rev 20917

reorderd ML/lemmas (Why!?);

isabelle