diff options
| author | Hugo Herbelin | 2014-11-10 12:36:02 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2014-11-22 19:23:32 +0100 |
| commit | 95e6ce19d4f05a51b76c3305e52170a6c933f4a4 (patch) | |
| tree | 98ddbd3e1c656b0e8a2848d02efe3bcf103cea8f /dev | |
| parent | f3bc425bdf6274e646b94dc0c7d157b9c845be43 (diff) | |
Further simplifying functional induction.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions