diff options
| author | David Aspinall | 2009-11-29 17:47:48 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-11-29 17:47:48 +0000 |
| commit | 323f902f3adc747c2787ebfd5a4f50e90e288406 (patch) | |
| tree | 9327af47523d8bd27337627b292c7ce33e66d6be /isar/Example-Tokens.thy | |
| parent | 024b1b5c5063e70222342617042cb482126dfb08 (diff) | |
pg-pbrpm-run-command: use proof-insert-pbp-command
Diffstat (limited to 'isar/Example-Tokens.thy')
0 files changed, 0 insertions, 0 deletions