diff options
| author | Makarius Wenzel | 2005-08-08 13:44:30 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-08-08 13:44:30 +0000 |
| commit | 97ffa89402e0d3f64d8d9565ba4f48a186adc670 (patch) | |
| tree | d456aea462495cbd8363f66bf967d355c6be4d27 /pgshell/example.pgsh | |
| parent | 0b676d8a5726f22088aa754362af61228a733d0b (diff) | |
proof-defshortcut isar-bold;
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions