diff options
| author | Pierre-Marie Pédrot | 2013-12-05 14:29:30 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2013-12-16 11:24:43 +0100 |
| commit | cf5e83fbfb18b009f7baa796ac12277176543650 (patch) | |
| tree | 0b073c7144539853195faff923cbbd735c3cca67 /kernel | |
| parent | 99a1fd6a38c083db0bbcbbb6eae0f47c49124c78 (diff) | |
Dedicated inductive for return values of rewrite strategies.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions