diff options
| author | Makarius Wenzel | 2000-06-04 12:40:18 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-06-04 12:40:18 +0000 |
| commit | d53e2c48e6cf6284a4d87010efe41eac457b2b1f (patch) | |
| tree | a7db4c1a73d8dc414252b59e7b0f003de87aa638 /generic | |
| parent | 46bfbbe644b09c7e331bde88bc7d7792e2fd4d43 (diff) | |
replaced isa-verbatim by isabelle-verbatim;
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions