Tue, 02 Dec 1997 12:37:44 +0100 wenzelm Global contexts: session and theory.
Tue, 02 Dec 1997 12:37:22 +0100 wenzelm added Thy/context.ML;
Mon, 01 Dec 1997 18:27:43 +0100 wenzelm open;
Mon, 01 Dec 1997 18:27:06 +0100 wenzelm nat_cancel simprocs;
Mon, 01 Dec 1997 18:22:38 +0100 wenzelm ISABELLE_TMP_PREFIX;
Mon, 01 Dec 1997 18:22:02 +0100 wenzelm ISABELLE_TMP;
Mon, 01 Dec 1997 14:42:30 +0100 berghofe Added DiffCancelSums.
(0) -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip