abella icon indicating copy to clipboard operation
abella copied to clipboard

Published 20 hours ago • verified publisher icon abella-prover

Hypothesis name hints not documented

Open chaudhuri opened this issue 11 years ago • 1 comments

The intros h g k, hc : case ..., etc. forms are not documented in the reference manual.

chaudhuri avatar Jul 19 '13 17:07 chaudhuri

https://github.com/abella-prover/abella-prover.org/issues/4 just referencing.

On a side note, @chaudhuri can you rename the label "text" to "documentation" here on github? I think it'll be more descriptive.

amerikan avatar Jun 05 '18 00:06 amerikan