diff options
| author | David Aspinall | 2007-12-14 11:56:58 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-12-14 11:56:58 +0000 |
| commit | ef1f7f21c8c78f42f9944225cee014b53f96fcfa (patch) | |
| tree | 049d6d5eaca7fd37f60177a85d6a6c943c1998b6 /generic | |
| parent | c2b44108df89ba871d691517324298d8d7095fa7 (diff) | |
x-symbol-isabelle-prepare-table: specialise to Isar (usefully removes dependence on proof-assistant-symbol)
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions