diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2018-02-17 23:57:47 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-03-08 21:58:32 +0100 |
commit | 00191b7dea128e21abcde02cc45b02d23c205595 (patch) | |
tree | 4216c8b4d40f489d23e427f5a285426af48d96f0 /pretyping | |
parent | 6f30f76def8f6cf1abe7859f482b68c91b4c8709 (diff) |
Add an invariant on given up goals in class_tactics.
Diffstat (limited to 'pretyping')
0 files changed, 0 insertions, 0 deletions