diff options
| author | Makarius Wenzel | 1999-10-07 20:33:41 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-10-07 20:33:41 +0000 |
| commit | 2b20aeb75ac47d5a486336e775c148981339ace7 (patch) | |
| tree | 6ad956fbe9b654799f213172f8bbf91b88caee26 /generic | |
| parent | 48fa6898a55d21ae6dea458b6aa5d2a1d4997d01 (diff) | |
proof-shell-cd: isar-verbatim no longer required;
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions