Skip to Content.
Sympa Menu

coq-club - [Coq-Club] "Unset boxed definitions"

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] "Unset boxed definitions"


chronological Thread 
  • From: Vladimir Voevodsky <vladimir AT ias.edu>
  • To: Coq-Club Club <coq-club AT inria.fr>
  • Subject: [Coq-Club] "Unset boxed definitions"
  • Date: Sat, 21 May 2011 14:09:50 -0400
What does this command do? It is not in the command index of the reference 
manual.

Thanks!
Vladimir.




Archive powered by MhonArc 2.6.16.

Top of Page