diff options
| author | David Aspinall | 2008-07-12 14:00:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-07-12 14:00:17 +0000 |
| commit | 8b65a54fdeb50bc346fcf8d25315e54e28c4cca6 (patch) | |
| tree | 23511d17df0a07c94883caefe13b965b49b954aa /isar/Example.thy | |
| parent | b1d190d35e9697b3da2cd4a52c4660c68bd936b6 (diff) | |
Fix loading of multiple prover files: set proof-assistant-table to nil so proof-ready-for-assitant works
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions