diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-06-12 13:11:18 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-06-12 13:11:18 +0000 |
| commit | 0a6085a7e2699fca3c8d6d38a08b3072430f8b5e (patch) | |
| tree | f2903db4256f5e20014c9e49d2f8d4992014c931 /doc/tutorial | |
| parent | f28e32e688df00676abf327dba5d3695f0026b9f (diff) | |
treating Int as PredefAbs.Int in lookup
Diffstat (limited to 'doc/tutorial')
0 files changed, 0 insertions, 0 deletions