diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-05-09 19:15:45 +0200 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-05-09 19:15:45 +0200 |
commit | 816353f8bee87a8ae1c70263cc3f2dc8ad5358cd (patch) | |
tree | 6623c4212e7f0e8897eb29cc3812dccca43903ba /theories/Classes | |
parent | c3ce76de37a988c120654760629b4609272f8885 (diff) |
More documentation of new features in CHANGE.
Diffstat (limited to 'theories/Classes')
0 files changed, 0 insertions, 0 deletions