diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-12-05 14:14:19 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-12-05 14:14:19 +0000 |
| commit | ddc8d5d0cc0e051ef6edf77728b34bc9cac326f4 (patch) | |
| tree | 66180dc81bb8bdd2da1181c208436e13ed58df43 /src/GF/Compile | |
| parent | 983aef132b0695af7e1b16d77ad43180388eea71 (diff) | |
Transfer: fixed Eq derivation to at least work for GF-generated Tree types.
Diffstat (limited to 'src/GF/Compile')
0 files changed, 0 insertions, 0 deletions