diff options
| author | Pierre Courtieu | 2013-07-10 15:02:11 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2013-07-10 15:02:11 +0000 |
| commit | 215dce626eb21fd0e504517d55b552f5c303dccb (patch) | |
| tree | d9d6e697040651678e491e00bd7572eb45e77f43 /FAQ | |
| parent | 0d644ac0cf3c713f16a114b801de9d3f98f928f0 (diff) | |
Fixing #476 (bis). Adding Fixpoint as a goal starter.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions