wneuper/isa: Changelog

nipkow [Tue, 18 Mar 2003 17:55:54 +0100] rev 13869

toggled show_main_goal

nipkow [Tue, 18 Mar 2003 17:54:27 +0100] rev 13868

*** empty log message ***

Mon, 17 Mar 2003 18:38:50 +0100just a few mods to a few thms

nipkow [Mon, 17 Mar 2003 18:38:50 +0100] rev 13867

just a few mods to a few thms

paulson [Mon, 17 Mar 2003 17:37:48 +0100] rev 13866

More "progress set" material

paulson [Mon, 17 Mar 2003 17:37:20 +0100] rev 13865

moved one proof, added another

ballarin [Fri, 14 Mar 2003 18:00:16 +0100] rev 13864

Bugs fixed and operators finprod and finsum.

kleing [Fri, 14 Mar 2003 12:03:23 +0100] rev 13863

more about list_all2

kleing [Fri, 14 Mar 2003 12:02:14 +0100] rev 13862

fix for changes in HOL/Hoare/

paulson [Fri, 14 Mar 2003 10:30:46 +0100] rev 13861

Proved the main lemma on progress sets

paulson [Fri, 14 Mar 2003 10:30:15 +0100] rev 13860

new UN/INT simprules

wneuper/isa