Mon, 17 Feb 1997 17:22:19 +0100 configure - adapt Isabelle distribution to system environment
wenzelm [Mon, 17 Feb 1997 17:22:19 +0100] rev 2650
configure - adapt Isabelle distribution to system environment
Mon, 17 Feb 1997 16:50:59 +0100 improved description of recent changes
oheimb [Mon, 17 Feb 1997 16:50:59 +0100] rev 2649
improved description of recent changes
Mon, 17 Feb 1997 16:50:17 +0100 reflecting recent changes of the simplifier
slotosch [Mon, 17 Feb 1997 16:50:17 +0100] rev 2648
reflecting recent changes of the simplifier
Mon, 17 Feb 1997 16:31:37 +0100 corrected type of plift
oheimb [Mon, 17 Feb 1997 16:31:37 +0100] rev 2647
corrected type of plift
Mon, 17 Feb 1997 16:01:16 +0100 reflecting recent changes of the simplifier
oheimb [Mon, 17 Feb 1997 16:01:16 +0100] rev 2646
reflecting recent changes of the simplifier
Mon, 17 Feb 1997 13:54:24 +0100 mk_rews: automatically includes strip_shyps, zero_var_indexes;
wenzelm [Mon, 17 Feb 1997 13:54:24 +0100] rev 2645
mk_rews: automatically includes strip_shyps, zero_var_indexes;
Mon, 17 Feb 1997 13:26:32 +0100 New file for theorems of Porder0
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
Mon, 17 Feb 1997 12:00:00 +0100 tuned comments;
wenzelm [Mon, 17 Feb 1997 12:00:00 +0100] rev 2643
tuned comments;
Mon, 17 Feb 1997 11:04:00 +0100 Examples are adopted to the changes from HOLCF.
slotosch [Mon, 17 Feb 1997 11:04:00 +0100] rev 2642
Examples are adopted to the changes from HOLCF. Classlib is reduced. Classlib still uses arities, Classlib will change completely to new classes of ADTs
Mon, 17 Feb 1997 11:01:10 +0100 using types one = unit lift and translations causes troubles between
slotosch [Mon, 17 Feb 1997 11:01:10 +0100] rev 2641
using types one = unit lift and translations causes troubles between the type one and the constant one. The later was changed to ONE
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip