diff options
| author | Makarius Wenzel | 2000-07-29 21:21:19 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-07-29 21:21:19 +0000 |
| commit | f70b0165bca0740b39ff9a5ed9aa3b341e6c4714 (patch) | |
| tree | e841ff1ad735b0579a97b18fac0fec9a24e78a8d /isa/Example2.ML | |
| parent | 7b99ebcbad9b6692c3d75b39e8665322d2aee646 (diff) | |
added "thm_deps", "overloaded";
Diffstat (limited to 'isa/Example2.ML')
0 files changed, 0 insertions, 0 deletions