isabelle: Changelog

wenzelm [Tue, 27 Apr 1999 15:13:58 +0200] rev 6530

no Toplevel.print for by, ., ..;

wenzelm [Tue, 27 Apr 1999 15:13:35 +0200] rev 6529

improved print_state;

wenzelm [Tue, 27 Apr 1999 15:13:18 +0200] rev 6528

verbose flag;

wenzelm [Tue, 27 Apr 1999 15:12:34 +0200] rev 6527

use_thy_only made pervasive;

wenzelm [Tue, 27 Apr 1999 15:10:36 +0200] rev 6526

added Isar_examples/NatSum.thy;

nipkow [Tue, 27 Apr 1999 13:05:52 +0200] rev 6525

Old stuff.

wenzelm [Tue, 27 Apr 1999 10:52:25 +0200] rev 6524

proper quiet_mode; tuned messages;

wenzelm [Tue, 27 Apr 1999 10:51:16 +0200] rev 6523

adapted add_inductive, add_record;

wenzelm [Tue, 27 Apr 1999 10:50:50 +0200] rev 6522

adapted add_inductive;

wenzelm [Tue, 27 Apr 1999 10:50:31 +0200] rev 6521

intrs attributes;

isabelle