Fri, 03 Nov 2000 21:26:11 +0100 assumption / finish: handle non-atomic assumptions from context as well;
wenzelm [Fri, 03 Nov 2000 21:26:11 +0100] rev 10378
assumption / finish: handle non-atomic assumptions from context as well;
Fri, 03 Nov 2000 21:25:30 +0100 added atomic_judgment;
wenzelm [Fri, 03 Nov 2000 21:25:30 +0100] rev 10377
added atomic_judgment;
Fri, 03 Nov 2000 21:25:10 +0100 structure Obtain = Obtain;
wenzelm [Fri, 03 Nov 2000 21:25:10 +0100] rev 10376
structure Obtain = Obtain;
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip