isabelle: Changelog

paulson [Tue, 05 Sep 2000 10:12:48 +0200] rev 9837

fixed a slow proof

paulson [Tue, 05 Sep 2000 10:12:20 +0200] rev 9836

simplified two index entries, since now ZF is by itself

paulson [Tue, 05 Sep 2000 10:11:02 +0200] rev 9835

meson_tac

nipkow [Tue, 05 Sep 2000 09:03:17 +0200] rev 9834

*** empty log message ***

Mon, 04 Sep 2000 21:20:14 +0200 tuned comment;

wenzelm [Mon, 04 Sep 2000 21:20:14 +0200] rev 9833

tuned comment;

wenzelm [Mon, 04 Sep 2000 21:19:27 +0200] rev 9832

added safe_mk_meta_eq;

wenzelm [Mon, 04 Sep 2000 21:19:07 +0200] rev 9831

tuned "mono" att setup;

wenzelm [Mon, 04 Sep 2000 21:18:33 +0200] rev 9830

tuned;

wenzelm [Mon, 04 Sep 2000 21:18:28 +0200] rev 9829

added add_rules, del_rules;

wenzelm [Mon, 04 Sep 2000 18:38:53 +0200] rev 9828

display: avoid empty lines;

isabelle