diff options
| author | Makarius Wenzel | 2009-11-29 16:45:46 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2009-11-29 16:45:46 +0000 |
| commit | 024b1b5c5063e70222342617042cb482126dfb08 (patch) | |
| tree | 566e47398aab7832a27ade60a3d00137202a55ad /isar/Example-Tokens.thy | |
| parent | 894b4a2d13850f43dcc8c0eac815c1c51a67648d (diff) | |
raised proof-shell-quit-timeout to accomodate bulky write-back images;
Diffstat (limited to 'isar/Example-Tokens.thy')
0 files changed, 0 insertions, 0 deletions