diff options
author | 2018-02-17 23:57:47 +0100 | |
---|---|---|
committer | 2018-03-08 21:58:32 +0100 | |
commit | 00191b7dea128e21abcde02cc45b02d23c205595 (patch) | |
tree | 4216c8b4d40f489d23e427f5a285426af48d96f0 /proofs | |
parent | 6f30f76def8f6cf1abe7859f482b68c91b4c8709 (diff) |
Add an invariant on given up goals in class_tactics.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions