diff options
| author | David Aspinall | 1999-02-01 13:33:07 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-02-01 13:33:07 +0000 |
| commit | 2eae72fdb319312c568f1c9f9b953932741c6f73 (patch) | |
| tree | 9d4028b90e575ee2b5d6f5117a9eb6247a808360 /generic | |
| parent | 8cf72e55ec5f4edbbf58a827fa14ae47ea41d27a (diff) | |
Added test for .thy file match bug.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions