Thu, 31 May 2001 20:52:51 +0200 wenzelm tuned
Thu, 31 May 2001 18:28:23 +0200 paulson examples files start from Main instead of various ZF theories
Thu, 31 May 2001 17:57:02 +0200 wenzelm invent_names
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip