Tue, 01 Oct 1996 15:49:29 +0200 paulson Added new guarantees for A and B
Tue, 01 Oct 1996 10:43:58 +0200 wenzelm added shyps comment;
Mon, 30 Sep 1996 15:29:52 +0200 nipkow Inserted check for rewrite rules which introduce extra Vars on the rhs.
Mon, 30 Sep 1996 11:10:22 +0200 paulson Removed some dead wood. Transferred lemmas used to prove analz_image_newK
Mon, 30 Sep 1996 11:04:14 +0200 paulson Improved discussion of shyps thanks to Markus Wenzel
Mon, 30 Sep 1996 10:59:47 +0200 paulson prune_params_tac no longer rewrites main goal
Thu, 26 Sep 1996 17:34:36 +0200 paulson Added catch-all clause to drop, preventing exception Match
(0) -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip