Thu, 03 Jul 1997 17:10:50 +0200 Updated references
paulson [Thu, 03 Jul 1997 17:10:50 +0200] rev 3488
Updated references
Thu, 03 Jul 1997 13:44:54 +0200 set_of_list -> set
nipkow [Thu, 03 Jul 1997 13:44:54 +0200] rev 3487
set_of_list -> set
Wed, 02 Jul 1997 16:53:14 +0200 Now there are TWO spaces after each full stop, so that the Emacs sentence
paulson [Wed, 02 Jul 1997 16:53:14 +0200] rev 3486
Now there are TWO spaces after each full stop, so that the Emacs sentence primitives work
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip