diff options
| author | David Aspinall | 2008-01-24 19:16:49 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-24 19:16:49 +0000 |
| commit | c4d8fac6c6821ecbe384ef3181eb129d54c6c8e3 (patch) | |
| tree | 9058a5331a37232bbd7db3c09a0062eda78c2ef6 /isar | |
| parent | 8f1350e295c4c2760989b1c2865d43749f7a21fd (diff) | |
Add keys for new theorems containing commands
Diffstat (limited to 'isar')
0 files changed, 0 insertions, 0 deletions