isabelle: Changelog

haftmann [Tue, 10 Jul 2007 17:30:51 +0200] rev 23710

removed proof dependency on transitivity theorems

haftmann [Tue, 10 Jul 2007 17:30:50 +0200] rev 23709

moved lfp_induct2 here

haftmann [Tue, 10 Jul 2007 17:30:49 +0200] rev 23708

clarified import

haftmann [Tue, 10 Jul 2007 17:30:47 +0200] rev 23707

moved lfp_induct2 to Relation.thy

haftmann [Tue, 10 Jul 2007 17:30:45 +0200] rev 23706

moved some finite lemmas here

haftmann [Tue, 10 Jul 2007 17:30:43 +0200] rev 23705

moved finite lemmas to Finite_Set.thy

wenzelm [Tue, 10 Jul 2007 16:46:37 +0200] rev 23704

added print_mode setup (from pretty.ML); removed no_state;

wenzelm [Tue, 10 Jul 2007 16:45:06 +0200] rev 23703

Markup.add_mode;

wenzelm [Tue, 10 Jul 2007 16:45:05 +0200] rev 23702

removed no_state markup -- produce empty state; Markup.add_mode;

wenzelm [Tue, 10 Jul 2007 16:45:04 +0200] rev 23701

Markup.output; removed no_state markup -- produce empty state;

isabelle