diff options
| author | Makarius Wenzel | 2005-08-26 21:49:04 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-08-26 21:49:04 +0000 |
| commit | 0255aae918270af97725b296f9478ee1918bb3a9 (patch) | |
| tree | 205fff5e981022218d8c0dda87d2180fa5ce7287 /pgshell/example.pgsh | |
| parent | f90711be0c4d2857914602bc9998ce54adacbe00 (diff) | |
proof-defshortcut isar-local: \<^loc>;
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions