diff options
| author | David Aspinall | 2000-05-29 15:24:38 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-29 15:24:38 +0000 |
| commit | bcb6426ef3fe0643628ab8b38b5bff20f0ddc462 (patch) | |
| tree | 28be95e6afeed867f7b3a5cf464e0f35ca2e27cc /isar/Example.thy | |
| parent | df76c2522005c5dbd4453c8ee146c50301e9a3fe (diff) | |
Added replace-string for FSF.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions