coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club]SearchPattern ( f1 _ -> f2 _ ) ?

From: gang chen <gangchen_sh AT yahoo.com>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club]SearchPattern ( f1 _ -> f2 _ ) ?
Date: Sat, 7 Apr 2007 10:11:47 -0700 (PDT)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hello,

I find that SearchPattern is a great tool. However, some desirable pattern
search such as SearchPattern ( f1 _ -> f2 _) is not available. Is there
some way around it ?

gang chen
--
View this message in context:
http://www.nabble.com/SearchPattern-%28-f1-_--%3E-f2-_-%29---tf3541387.html#a9885920
Sent from the Coq mailing list archive at Nabble.com.

[Coq-Club]SearchPattern ( f1 _ -> f2 _ ) ?, gang chen