diff options
| author |  jforest <jforest@daneel.lan.home> | 2015-04-14 20:50:31 +0200 |
|---|---|---|
| committer | jforest <jforest@daneel.lan.home> | 2015-04-14 20:50:31 +0200 |
| commit | efbc8eef69dd66c51d7f4b666d7b3ffeb99a35c7 (patch) | |
| tree | c80cd39a1d975e046086a71ac0797fbf02a972e2 /plugins/funind/functional_principles_proofs.mli | |
| parent | b1970f8644b32ae3069d6ef539d51e4f4576dc36 (diff) | |
better debug in recdef
Diffstat (limited to 'plugins/funind/functional_principles_proofs.mli')
0 files changed, 0 insertions, 0 deletions