diff options
| author | Pierre Courtieu | 2004-04-15 11:36:23 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2004-04-15 11:36:23 +0000 |
| commit | 65040f942717d5b8b5aaf3bf14bbfa76a128c832 (patch) | |
| tree | e5bc26fc3130ae274e40ee6ba257330ea2a5f1b0 /isar/interface | |
| parent | 141e2a28e04e9a489226a9ceb5c09396fc2ac3ae (diff) | |
little change in CHANGES and in coq syntax table.
Diffstat (limited to 'isar/interface')
0 files changed, 0 insertions, 0 deletions