diff options
| author | Thomas Kleymann | 1998-08-14 09:27:19 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-08-14 09:27:19 +0000 |
| commit | 8549abf870767f9dbc11fd92e0c1ad1126cd3dfb (patch) | |
| tree | a484302c33d94bcfb61d5ca4142f6e1ef8f967b5 /isa/example.ML | |
| parent | a8fe9fb130491d7c3810a664f0a2e385f5eb6bfa (diff) | |
supports definitions of the form id == foo;
Diffstat (limited to 'isa/example.ML')
0 files changed, 0 insertions, 0 deletions