Sat, 07 Feb 1998 14:40:05 +0100 paulson moved freeze_thaw to drule.ML
Sat, 07 Feb 1998 14:39:35 +0100 paulson Tidying; rotate_prems; moved freeze_thaw from tactic.ML
Sat, 07 Feb 1998 14:38:57 +0100 paulson AC and other rewrite rules for Un and Int
Sat, 07 Feb 1998 14:38:15 +0100 paulson auto update
Sat, 07 Feb 1998 14:37:48 +0100 paulson Added reference to rotate_prems
Fri, 06 Feb 1998 18:55:57 +0100 nipkow filter_size -> length_filter
Fri, 06 Feb 1998 18:55:18 +0100 nipkow Added `remdups'
(0) -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip