diff options
| author | Hugo Herbelin | 2014-11-22 18:16:01 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2014-11-22 19:23:32 +0100 |
| commit | f3bc425bdf6274e646b94dc0c7d157b9c845be43 (patch) | |
| tree | a87c87f0fcb51bc4d747b7f0692516394cbdf922 /dev | |
| parent | 7610784dfed98b2510376217ab9ff1a444c6a2b4 (diff) | |
Simplifying code of functional induction.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions