isabelle: Changelog

wenzelm [Tue, 16 Jul 2002 18:39:27 +0200] rev 13372

module now right after ProofContext (for locales);

wenzelm [Tue, 16 Jul 2002 18:38:36 +0200] rev 13371

avoid "_st" versions of proof data;

wenzelm [Tue, 16 Jul 2002 18:38:11 +0200] rev 13370

context rules;

wenzelm [Tue, 16 Jul 2002 18:37:56 +0200] rev 13369

tuned order of modules;

wenzelm [Tue, 16 Jul 2002 18:37:03 +0200] rev 13368

added equal_elim_rule1;

wenzelm [Tue, 16 Jul 2002 18:26:52 +0200] rev 13367

moved stuff to List.thy;

wenzelm [Tue, 16 Jul 2002 18:26:36 +0200] rev 13366

moved stuff from Main.thy; tuned;

wenzelm [Tue, 16 Jul 2002 18:26:09 +0200] rev 13365

adapted to locale defs;

wenzelm [Tue, 16 Jul 2002 18:25:48 +0200] rev 13364

updated;

paulson [Tue, 16 Jul 2002 16:29:36 +0200] rev 13363

instantiation of locales M_trancl and M_wfrank; proofs of list_replacement{1,2}

isabelle