the-lambda-church/coquille — pull request #23 by supki (2014-08-21 06:30:53+00:00)
Title: Fix a couple of typos

Hey, I haven't found any tactics with the word "dependant" in them in the [index][0], so I assumed those are typos.

[0] http://coq.inria.fr/refman/tactic-index.html