diff options
| author | Makarius Wenzel | 2002-01-14 16:52:51 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2002-01-14 16:52:51 +0000 |
| commit | e75758c4f574017be99ed5a83d44e4f5c6cc1640 (patch) | |
| tree | ce95fe75d849eccafa2dd7d726857f644746f973 /isa/Example.ML | |
| parent | 13f4c795630b1071b749ae78b82a94f12d3973fe (diff) | |
some test cases for trace_simp output;
Diffstat (limited to 'isa/Example.ML')
0 files changed, 0 insertions, 0 deletions