diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-05-07 15:09:58 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-05-08 20:31:56 +0200 |
commit | 8bbd7ceb554f68f0473f492f45e0f909af15992b (patch) | |
tree | 9de035a792b36252a918b169711b5ccf0470b261 /kernel/indtypes.ml | |
parent | d4a81ee817a1a4dbf23d3777be3dff29b96c89db (diff) |
Little reorganization of generalize tactics code w/o semantic changes.
Also removing trailing spaces.
Diffstat (limited to 'kernel/indtypes.ml')
0 files changed, 0 insertions, 0 deletions