diff options
| author | Maxime Dénès | 2017-03-14 21:12:31 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-03-14 21:12:31 +0100 |
| commit | 229f858e8c37b577bd07a18f3ca1e0ecd0a912fe (patch) | |
| tree | 1a16db991125ab8c3cad04ebd1c7780919579e78 /dev | |
| parent | b54892932959a3b16e31f780f7f1b638062b0a95 (diff) | |
| parent | 4ccd6436a014d5d1b27d42e9bda40fb381d1bfce (diff) | |
Merge PR#444: Simplifying a statement in Hurkens.v + a case study for eauto
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions