From e062d5b7a35866b4043c2b325989e1d5a55b46c3 Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Mon, 18 Jul 2022 02:13:05 +0900 Subject: lists/perm: Solve Free warnings. --- lists/perm.lisp | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/lists/perm.lisp b/lists/perm.lisp index 36253ec..a5b5487 100644 --- a/lists/perm.lisp +++ b/lists/perm.lisp @@ -58,11 +58,13 @@ (implies (and (member e x) (not (member e y))) (not (perm x y))) - :hints (("Subgoal *1/3" :cases ((equal (car x) e)))))) + :hints (("Subgoal *1/3" :cases ((equal (car x) e)))) + :rule-classes ((:rewrite :match-free :all)))) (defthm perm-transitive (implies (and (perm x y) (perm y z)) - (perm x z))))) + (perm x z)) + :rule-classes ((:rewrite :match-free :all))))) (defequiv perm) -- cgit v1.2.3