diff options
| author | Kazu Yamamoto <kazu@iij.ad.jp> | 2013-02-06 11:12:28 +0900 |
|---|---|---|
| committer | Kazu Yamamoto <kazu@iij.ad.jp> | 2013-02-06 11:12:28 +0900 |
| commit | ba8711a3b3bada2a099e9484296cbd04becbdbb4 (patch) | |
| tree | 8ac57d4e03c30c4033d4b095c099eda579509587 /src/Documentation | |
| parent | 8d4c94ca5a969a5ebbb791939fb0195dc672429e (diff) | |
Using tcSplitSigmaTy in instanceHead' (FIXME is resolved.)
Diffstat (limited to 'src/Documentation')
0 files changed, 0 insertions, 0 deletions