diff options
author | 2014-06-23 18:30:30 +0200 | |
---|---|---|
committer | 2014-06-23 18:31:17 +0200 | |
commit | 550a407928063c8e93af808408a61a238fa5039a (patch) | |
tree | e54a3875b5ed7ce190c228ad8ee191166e2daf9b /stm/lemmas.ml | |
parent | 1f11c1f1366b4c82e2e596b3cc97ee0052189741 (diff) |
Add some compatibility notes on the changes to [change] and unification in general.
Diffstat (limited to 'stm/lemmas.ml')
0 files changed, 0 insertions, 0 deletions