Skip to Content.

Sympa Menu

coq-club - [Coq-Club] The tactic unify

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] The tactic unify

chronological Thread

From: henaien amira <henaien_amira AT hotmail.com>
To: <coq-club AT inria.fr>
Subject: [Coq-Club] The tactic unify
Date: Fri, 24 Feb 2012 16:30:28 +0100
Importance: Normal

Hi everyone,

Where can I find a documentation about the tactic : unify ?

Thanks,

Amira

[Coq-Club] The tactic unify, henaien amira

Archive powered by MhonArc 2.6.16.