diff options
| author | Théo Zimmermann | 2017-06-12 11:02:13 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2017-06-12 11:02:13 +0200 |
| commit | faa064c746e20a12b3c8f792f69537b18e387be6 (patch) | |
| tree | 7f2b03f6507f6f10dc482e4b1cea3d5f0223d92d /interp/implicit_quantifiers.ml | |
| parent | 79c42e22dd5106dcb85229ceec75331029ab5486 (diff) | |
Remove Show Goal "uid" command.
Introduced for Proof-General but unused at the current time,
undocumented and can raise anomalies.
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions