diff options
| author | David Aspinall | 2009-08-20 11:23:18 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-20 11:23:18 +0000 |
| commit | a26e2e3089ab01d11c6cbca10abf6b168a2a41c7 (patch) | |
| tree | 15f0d97bef1329a2e029fabdb847b0c57381f07e /isar/Example-Tokens.thy | |
| parent | c440ded61788d0718065c494f7f19065da0e7e03 (diff) | |
proof-one-command-per-line: change default, use in proof-insert-pbp-command.
Diffstat (limited to 'isar/Example-Tokens.thy')
0 files changed, 0 insertions, 0 deletions