Sun, 14 Oct 2001 20:05:07 +0200 "HOL.mono";
wenzelm [Sun, 14 Oct 2001 20:05:07 +0200] rev 11755
"HOL.mono";
Sun, 14 Oct 2001 20:04:05 +0200 ObjectLogic.atomize_tac;
wenzelm [Sun, 14 Oct 2001 20:04:05 +0200] rev 11754
ObjectLogic.atomize_tac;
Sun, 14 Oct 2001 20:02:59 +0200 improved atomize setup;
wenzelm [Sun, 14 Oct 2001 20:02:59 +0200] rev 11753
improved atomize setup;
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip