diff options
| author | Arnaud Spiwack | 2014-07-29 14:07:42 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-07-29 17:16:29 +0200 |
| commit | cf04daec997ae431b14dd3a3bbf0db22013b3c71 (patch) | |
| tree | 4c200f515b5dbb061133f38d7908157be400864d /kernel | |
| parent | 9e8316d8fd6a13966c21ef77d5fcba270bc9a32a (diff) | |
Untyped terms in tactic: function [type_term c] to give a typed version of [c].
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions