isabelle: Changelog

wenzelm [Mon, 17 Feb 1997 17:23:14 +0100] rev 2652

file moved;

wenzelm [Mon, 17 Feb 1997 17:22:50 +0100] rev 2651

file moved here;

wenzelm [Mon, 17 Feb 1997 17:22:19 +0100] rev 2650

configure - adapt Isabelle distribution to system environment

oheimb [Mon, 17 Feb 1997 16:50:59 +0100] rev 2649

improved description of recent changes

slotosch [Mon, 17 Feb 1997 16:50:17 +0100] rev 2648

reflecting recent changes of the simplifier

oheimb [Mon, 17 Feb 1997 16:31:37 +0100] rev 2647

corrected type of plift

oheimb [Mon, 17 Feb 1997 16:01:16 +0100] rev 2646

reflecting recent changes of the simplifier

wenzelm [Mon, 17 Feb 1997 13:54:24 +0100] rev 2645

mk_rews: automatically includes strip_shyps, zero_var_indexes;

slotosch [Mon, 17 Feb 1997 13:26:32 +0100] rev 2644

New file for theorems of Porder0 Dervie the prperties of partial orders from the axiomatic type class po

wenzelm [Mon, 17 Feb 1997 12:00:00 +0100] rev 2643

tuned comments;

isabelle