diff options
| author | David Aspinall | 2004-06-16 16:04:36 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-06-16 16:04:36 +0000 |
| commit | 88fcac71288ef05964511af28a0f0807dfac45d7 (patch) | |
| tree | cb5aa0f910a744c6e7070b4bbb7571fba179eaf3 /etc/isar/NamesInStrings.thy | |
| parent | 1a6112941c545e2019bdbd399d884581fb2f3d8c (diff) | |
Continue the grouping bug fix.
Diffstat (limited to 'etc/isar/NamesInStrings.thy')
0 files changed, 0 insertions, 0 deletions