diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-12-29 10:09:45 +0100 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-12-29 10:09:45 +0100 |
commit | 0fb1a406c6b0ef7a467e05e37eb97263362eb29e (patch) | |
tree | 0aa330e631a4120f29fa907a7cbcca0213d82b1a /library | |
parent | ab61aa61b1bb50f76101bb38ea5fe76eb1ea2244 (diff) |
Proof using: do not clear letins (unless they use a cleared var)
Diffstat (limited to 'library')
0 files changed, 0 insertions, 0 deletions