isabelle: Changelog

wenzelm [Mon, 17 Mar 2008 18:37:08 +0100] rev 26306

proper naming of weak_ref_map2ref_map;

wenzelm [Mon, 17 Mar 2008 18:37:07 +0100] rev 26305

avoid rebinding of existing facts; proper ML antiquotations;

wenzelm [Mon, 17 Mar 2008 18:37:05 +0100] rev 26304

avoid rebinding of existing facts;

wenzelm [Mon, 17 Mar 2008 18:37:04 +0100] rev 26303

added Compl_Collect;

wenzelm [Mon, 17 Mar 2008 18:37:03 +0100] rev 26302

proper naming of knows_Outpts_insecureM, knows_subset_knows_A_Gets;

wenzelm [Mon, 17 Mar 2008 18:37:02 +0100] rev 26301

renamed K3_imp_Gets variant to K3_imp_Gets_evs;

wenzelm [Mon, 17 Mar 2008 18:37:00 +0100] rev 26300

removed duplicate lemmas;

wenzelm [Mon, 17 Mar 2008 18:36:04 +0100] rev 26299

closeup: recover original order of free variables!

nipkow [Mon, 17 Mar 2008 16:47:45 +0100] rev 26298

reorganization

nipkow [Mon, 17 Mar 2008 16:47:24 +0100] rev 26297

added lemmas

isabelle